Remarks on many-sorted equational logic with respect to algebraic implementations.

Eric van Gestel Ivo Van Horebeek

Published in: ACM SIGPLAN Notices (1988)

Keyphrases

computer algebra
algebraic structure
logic programming
theorem proving
databases
classical logic
formal theory
artificial intelligence
social networks
data structure
multi valued
delay insensitive
data sets
natural deduction
asynchronous circuits
probabilistic logic
automated reasoning
theorem prover
higher order