Constructing Rewrite-Based Decision Procedures for Embeddings and Termination

DOI10.1007/11783596_24zbMath1235.68098OpenAlexW1513348608MaRDI QIDQ3618835

Georg Struth

Publication date: 2 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11783596_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Constructing Rewrite-Based Decision Procedures for Embeddings and Termination