Login / Signup
An Institution for Alloy and Its Translation to Second-Order Logic.
Renato Neves
Alexandre Madeira
Manuel A. Martins
Luís Soares Barbosa
Published in:
IRI (best papers) (2013)
Keyphrases
</>
higher order
machine translation
modal logic
logic programming
classical logic
knowledge base
high order
cross language information retrieval
query translation
automated reasoning
logical framework
nonmonotonic logics
bilingual dictionaries
deontic logic
proof theory
delay insensitive