Consistency and semantics of equational definitions over predefined algebras-Reference-Cited by-同舟云学术

Consistency and semantics of equational definitions over predefined algebras

Published:1993 Issue: Volume: Page:67-81
ISSN:0302-9743
Container-title:Conditional Term Rewriting Systems
language:
Short-container-title:

Author:

Antimirov Valentin,Degtyarev Anatoli

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56393-8_5.pdf

Reference15 articles.

1. Antimirov V., Degtyarev A.: Consistency of equational enrichments. LPAR'92, Proc. Int. Conf. on Logic Programming and Automated Reasoning, St. Petersburg, LNCS 624, Springer-Verlag (1992) 393–402.

2. Antimirov V., Naidich D., Koval V.: Partial functions in simulation: formal models and calculi. Proc. IMACS European Simulation Meeting, Esztergom, Hungary, 1990, pp.143–148.

3. Avenhaus J., Becker K.: Conditional rewriting modulo a built-in algebra. Technical report (SEKI Report SR-92-11), 1992, 23p.

4. Dershowitz N., Jouannaud J.-P.: Rewrite systems. J.van Leeuwen, A.Meyer, M.Nivat, M.Paterson, and D.Perrin editors, Handbook of Theoretical Computer Science, Vol B, chapter 6, Elsevier Sci. Pub. 1990.

5. Ehrig H., Mahr B.: Fundamentals of algebraic specification: Vol. 1, Springer-Verlag, 1985.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras;Mathematical Structures in Computer Science;1995-06

2. Completeness of Equational Definitions over Predefined Algebras;Algebraic Methodology and Software Technology (AMAST’93);1994