Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras.

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases