Sound and Complete Axiomatizations of Coalgebraic Language Equivalence.

Marcello M. Bonsangue Stefan Milius Alexandra Silva

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

set of inference rules
inference rules
databases
language learning
closed world
programming language
natural language
general purpose
information systems
object oriented
object oriented programming
english language
conditional logic