Login / Signup
A 2-categorical framework for the syntax and semantics of many-sorted equational logic.
Juan Climent Vidal
Juan Soliveres Tur
Published in:
Reports Math. Log. (2010)
Keyphrases
</>
theoretical framework
logical framework
probabilistic model
main contribution
reasoning engine
learning algorithm
logic programming
conceptual framework
equational theories