Feasible Trace Reconstruction for Rewriting Approximations

DOI10.1007/11805618_10zbMath1151.68439OpenAlexW1509963753MaRDI QIDQ3527288

Thomas Genet, Yohan Boichut

Publication date: 25 September 2008

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• AVISPA
• Maude
• Timbuk

This page was built for publication: Feasible Trace Reconstruction for Rewriting Approximations