Frontiers of Combining Systems

DOI10.1007/11559306zbMath1171.68513OpenAlexW4205914269MaRDI QIDQ5491902

Adam Koprowski, Hans Zantema

Publication date: 10 October 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ Termination of just/fair computations in term rewriting

This page was built for publication: Frontiers of Combining Systems