scientific article; zbMATH DE number 1231659

MaRDI QIDQ4222984zbMATH OpenFDO

Authors Jean-Pierre Jouannaud

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15008

zbMATH Keywords

Curry-Howard semantic basisrewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Specification and proof in membership equational logic
• scientific article; zbMATH DE number 1189278
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• scientific article; zbMATH DE number 1615226

Cited in

(2)

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

Describes a project that uses

Uses Software

• Maude
• Coq

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222984)