Login / Signup
A denotational semantics for equilibrium logic.
Felicidad Aguado
Pedro Cabalar
David Pearce
Gilberto Pérez
Concepción Vidal
Published in:
Theory Pract. Log. Program. (2015)
Keyphrases
</>
denotational semantics
programming language
operational semantics
query language
abstract data types
general purpose
high level
software engineering
databases
relational databases
object oriented
formal semantics