Semi-Thue system - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Currency pence / / / Facility Japan Advanced Institute of Science / / IndustryTerm probabilistic algorithm / travel grant / / Organization Japan Advanced Institute of Science and Technology / / Person Dieter Hofbauer / / Technology probabilistic algorithm / Digital Object Identifier / / SocialTag 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