1 results
Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 189-215
-
- Article
- Export citation