Decidable first-order theories of one-step rewriting in trace monoids
From MaRDI portal
Publication:1764424
DOI10.1007/s00224-004-1099-9zbMath1061.68086OpenAlexW1985537797MaRDI QIDQ1764424
Publication date: 24 February 2005
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-004-1099-9
Related Items (max. 100)
This page was built for publication: Decidable first-order theories of one-step rewriting in trace monoids