Rewriting Logic as a Metalogical Framework-Reference-Cited by-同舟云学术

Rewriting Logic as a Metalogical Framework

Published:2000 Issue: Volume: Page:55-80
ISSN:0302-9743
Container-title:FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Basin David,Clavel Manuel,Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44450-5_4

Reference38 articles.

1. P. Aczel. An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical Logic, pages 739–782. North-Holland, Amsterdam, 1977.

2. D. Basin, M. Clavel, and J. Meseguer. Rewriting logic as a metalogical framework. Technical report, September 2000, http://maude.csl.sri.com .

3. D. Basin and R. Constable. Metalogical frameworks. In G. Huet and G. Plotkin, editors, Logical Environments, pages 1–29. Cambridge University Press, 1993.

4. D. Basin and S. Matthews. Scoped metatheorems. In International Workshop on Rewriting Logic and its Applications, volume 15, pages 1–12. Electronic Notes in Theoretical Computer Science (ENTCS), September 1998.

5. D. Basin and S. Matthews. Structuring metatheory on inductive definitions. Information and Computation, 2000. To appear.

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

1. From OBJ to Maude and Beyond;Algebra, Meaning, and Computation;2006

2. Automatic Verification of a Model Checker by Reflection;Practical Aspects of Declarative Languages;2005

3. A Rewriting Logic Sampler;Theoretical Aspects of Computing – ICTAC 2005;2005

4. Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework;From Object-Orientation to Formal Methods;2004

5. Rewriting logic: roadmap and bibliography;Theoretical Computer Science;2002-08