✦ LIBER ✦

Comparing Meseguer's Rewriting Logic with the Logic CRWL

✍ Scribed by Miguel Palomino Tarjuelo

Book ID: 104444764
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 406 KB
Volume: 64
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80354-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The rewriting logic semantics project

✍ José Meseguer; Grigore Roşu 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 625 KB

Reflection in Membership Equational Logi

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic

✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log

Reflection in membership equational logi

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 469 KB

Guest Editor's Introduction: the Logic o

Guest Editor's Introduction: the Logic of Comparative Negotiation Analysis

✍ Bertram Spector 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 33 KB

Representing the MSR cryptoprotocol spec

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

✍ Iliano Cervesato; Mark-Oliver Stehr 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 491 KB

Representing the MSR Cryptoprotocol Spec

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

✍ Iliano Cervesato; Mark-Oliver Stehr 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 432 KB