Rewrite semantics for production rule systems: Theory and applications

DOI10.1007/3-540-61511-3_110zbMath1412.68273OpenAlexW1512599305MaRDI QIDQ4647544

Wayne Snyder, James G. Schmolze

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_110

zbMATH Keywords

production rulecritical pairground instancenegative conditionwork memory

Mathematics Subject Classification ID

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

Related Items (1)

Rewrite semantics for production rule systems: Theory and applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Redundancy criteria for constrained completion
• Equational problems and disunification
• A semantics for a class of stratified production system programs
• Rewrite semantics for production rule systems: Theory and applications

This page was built for publication: Rewrite semantics for production rule systems: Theory and applications