Decidable First-Order Theories of One-Step Rewriting in Trace Monoids
Dietrich Kuske, Markus LohreyVolume:
38
Language:
english
Pages:
43
Journal:
Theory of Computing Systems
DOI:
10.1007/s00224-004-1099-9
Date:
January, 2005
File:
PDF, 513 KB
english, 2005