Some Equational Laws of Initiality in 2CCC's.

Stephen L. Bloom Zoltán Ésik

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

theorem proving
equational theories
theorem prover
horn clauses
database
data sets
computer vision
rough sets
information extraction