Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
From MaRDI portal
(Redirected from Publication:875516)
Recommendations
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- scientific article; zbMATH DE number 1231672
- scientific article; zbMATH DE number 1231659
- Automated Deduction – CADE-20
- Specification and proof in membership equational logic
- Some Varieties of Equational Logic
- scientific article; zbMATH DE number 1670742
- scientific article; zbMATH DE number 1189278
- scientific article; zbMATH DE number 67036
- Reflection principles in computational logic
Cites work
- scientific article; zbMATH DE number 1696904 (Why is no real title available?)
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3970817 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 3748393 (Why is no real title available?)
- scientific article; zbMATH DE number 2038715 (Why is no real title available?)
- scientific article; zbMATH DE number 1759745 (Why is no real title available?)
- scientific article; zbMATH DE number 788038 (Why is no real title available?)
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- A generic reification technique for object-oriented reflective languages
- Algebraic Methodology and Software Technology
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Comparing Meseguer's rewriting logic with the logic CRWL
- Conditional rewriting logic as a unified model of concurrency
- ELAN from a rewriting logic point of view
- Handbook of philosophical logic. Vol. 9
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
- Interpreting abstract interpretations in membership equational logic
- Maude: specification and programming in rewriting logic
- Metalevel architectures and separation of crosscutting concerns. 3rd international conference, REFLECTION 2001, Kyoto, Japan, September 25--28, 2001. Proceedings
- Metamathematics, Machines and Gödel's Proof
- Monadic Elementary Formal Systems
- On degrees of unsolvability
- Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006
- Reflection in conditional rewriting logic
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
- Reflective metalogical frameworks
- Rewriting logic: Roadmap and bibliography
- Specification and proof in membership equational logic
- Specification of real-time and hybrid systems in rewriting logic
- The concept of a supercompiler
- WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002
Cited in
(16)- Twenty years of rewriting logic
- Symbolic computation in Maude: some tapas
- Building correct-by-construction systems with formal patterns
- An algebraic semantics for MOF
- Metalevel algorithms for variant satisfiability
- scientific article; zbMATH DE number 1231672 (Why is no real title available?)
- Declarative Debugging of Rewriting Logic Specifications
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Programming and symbolic computation in Maude
- Metalevel transformation of strategies
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- Rewriting modulo SMT and open system analysis
- A declarative debugger for Maude functional modules
- Metalevel algorithms for variant satisfiability
- A Maude environment for CafeOBJ
- Declarative debugging of rewriting logic specifications
This page was built for publication: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q875516)
