Login / Signup
Two-Variable Logic with Two Order Relations - (Extended Abstract).
Thomas Schwentick
Thomas Zeume
Published in:
CSL (2010)
Keyphrases
</>
extended abstract
databases
knowledge base
image sequences
machine learning
information systems
artificial neural networks
logic programming
expressive power