Back to Results
First PageMeta Content
Applied mathematics / Rewriting / Semi-Thue system / Structure / Formal languages / Theoretical computer science / Mathematics


Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, Germany
Add to Reading List

Document Date: 2013-08-26 10:13:14


Open Document

File Size: 364,99 KB

Share Result on Facebook
UPDATE