Login / Signup
Lax Logical Relations.
Gordon D. Plotkin
John Power
Donald Sannella
Robert D. Tennent
Published in:
ICALP (2000)
Keyphrases
</>
logical structure
logical reasoning
databases
artificial intelligence
computer vision
higher order
semantic relations
logical theories
database
real time
natural language processing
attribute values
binary relations
truth values
logical properties
logical representation