Sound and complete axiomatizations of coalgebraic language equivalence

Marcello M. Bonsangue Stefan Milius Alexandra Silva

Published in: CoRR (2011)

Keyphrases

set of inference rules
inference rules
programming language
language learning
closed world
natural language
neural network
machine learning
information retrieval
artificial intelligence
multi agent
software engineering
general purpose
context dependent
conditional logic
xml keys