Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Contextual Array Grammars with Matrix and Regular Control

Henning Fernau , Rudolf Freund , Rani Siromoney , K. G. Subramanian
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.98-110, ⟨10.1007/978-3-319-41114-9_8⟩
Conference papers hal-01633942v1
Image document

Unidirectional Channel Systems Can Be Tested

Petr Jančar , Prateek Karandikar , Philippe Schnoebelen
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.149-163, ⟨10.1007/978-3-642-33475-7_11⟩
Conference papers hal-01556219v1