Logical and Computational Aspects of Programming with Sets/Bags/Lists.

Val Tannen Ramesh Subrahmanyam

Published in: ICALP (1991)

Keyphrases

programming language
programming environment
real valued
truth values
development environment
logical representation
database
relational databases
supervised learning
computer programming
single instance
logical reasoning