D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys

Word Problem for deterministic and reversible semi-Thue systems

Tekijät: Halava Vesa, Harju Tero

Julkaisuvuosi: 2012

Journal: TUCS Publication Series

Vuosikerta: 144

Aloitussivu: 1

Lopetussivu: 16

Sivujen määrä: 16

ISBN: 978-952-12-2738-7

ISSN: 1239-1891

Verkko-osoite: tucs.fi/publications/view/?pub_id=tHaHa12a