scientific article; zbMATH DE number 1231534

MaRDI QIDQ4222849zbMATH OpenFDO

Authors Hiroyuki Miyoshi

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#miyoshi

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Relating two categorical models of term rewriting
• Conditional rewriting logic: Deduction, models and concurrency
• New foundations for rewriting logic
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 431765

Cited in

(8)

• Rewriting logic: Roadmap and bibliography
• A categorical foundation for structured reversible flowchart languages
• Comparing Meseguer's rewriting logic with the logic CRWL
• Relating two categorical models of term rewriting
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Presenting a Category Modulo a Rewriting System
• Formal Methods in Software and Systems Modeling
• Conditional rewriting logic: Deduction, models and concurrency

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 Q4222849)