Publication:4449180
From MaRDI portal
zbMath1039.03020MaRDI QIDQ4449180
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190252.htm
03B70: Logic in computer science
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Proving termination of context-sensitive rewriting by transformation, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, The rewriting logic semantics project, Equational abstractions, Observational congruences for dynamically reconfigurable tile systems, Executable structural operational semantics in Maude, Semantic foundations for generalized rewrite theories
Uses Software