A Relation between Modal Logic and Language Closure Operators Kudlek, Manfred 2010 - Forschungsinformationssystem der UHH
Are there universal finite or pushdown automata? Kudlek, Manfred Totzke, Patrick Zetzsche, Georg 2010 - Forschungsinformationssystem der UHH
Synthesis and analysis of net structures and transition graphs with inhibitor relations Czaja, Ludwik Kudlek, Manfred 2010 - Forschungsinformationssystem der UHH
Analysis and synthesis of generalized work flow net structures and transition graphs Czaja, Ludwik Kudlek, Manfred 2010 - Forschungsinformationssystem der UHH
Concurrent finite automata and related language classes Kudlek, Manfred Zetzsche, Georg 2010 - Forschungsinformationssystem der UHH