an:05195845
Zbl 1122.68461
van Oostrom, Vincent
Sub-Birkhoff
EN
Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 180-195 (2004).
2004
a
68Q42 68Q60
Summary: For equational specifications validity coincides with derivability in equational logic, which in turn coincides with convertibility generated by the rewrite relation. It is shown that this correspondence, essentially due to Birkhoff, can be generalised in a uniform way to sub-equational logics such as Meseguer's rewriting logic.
For the entire collection see [Zbl 1048.68005].