| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Kudlek |
A Relation between Modal Logic and Language Closure Operators.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja, Manfred Kudlek |
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Hamblin's 15 Tense Theorem. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ludwik Czaja, Manfred Kudlek |
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Patrick Totzke, Georg Zetzsche |
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Patrick Totzke, Georg Zetzsche |
Multiset Pushdown Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja, Manfred Kudlek |
Analysis and Synthesis of Net Structures and Transition Graphs. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Jantzen, Manfred Kudlek, Georg Zetzsche |
Language Classes Defined by Concurrent Finite Automata. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Köhler-Bußmeier, Manfred Kudlek |
Linear Properties of Zero-Safe Nets with Debit Tokens. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche |
Petri Net Controlled Finite Automata. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Some Considerations on Universality |
CSP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Some Remarks on Quantum Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Berndt Farwer, Manfred Kudlek, Heiko Rölke |
Concurrent Turing Machines. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roxana Dietze, Manfred Kudlek, Olaf Kummer |
Decidability Problems of a Basic Class of Object Nets. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Semilinear Sets over Commutative Semirings. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Quantum Vector Addition Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pál Dömösi, Manfred Kudlek |
New Iteration Lemmata for Regular Languages. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Probability in Petri Nets. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Probabilistic Contextual Grammars. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Berndt Farwer, Manfred Kudlek |
A New Synchronisation Model for Multi-Level Object Petri Nets. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Languages of Cyclic Words. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Berndt Farwer, Manfred Kudlek, Kundan Misra |
Some Considerations on Higher-Order Petri Nets. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Virgil Emil Cazanescu, Manfred Kudlek |
Homomorphic Characterizations of Linear and Algebraic Languages. |
Grammars and Automata for String Processing |
2003 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
On Universal Finite Automata and a-Transducers. |
Grammars and Automata for String Processing |
2003 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Carlos Martín-Vide, Victor Mitrana |
Multiple Pattern Interpretations. |
Grammars |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Victor Mitrana |
Closure Properties of Multiset Language Families. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Victor Mitrana |
Considerations on a Multiset Model for Membrane Computing. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu |
On the Complexity of Propositional Calculus Formulae. |
Sci. Ann. Cuza Univ. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ludwik Czaja, Manfred Kudlek |
w-Process Languages for Place/Transition Nets. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Yurii Rogozhin |
New Small Universal Circular Post Machines. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Yurii Rogozhin |
A Universal Turing Machine with 3 States and 9 Symbols. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu |
Some results on the Collatz problem. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja, Manfred Kudlek |
Rational, Linear and Algebraic Process Languages and Iteration Lemmata. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Dömösi, Manfred Kudlek |
An Improvement of Iteration Lemmata for Context-free Languages. |
Words, Languages & Combinatorics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Victor Mitrana |
Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages. |
WMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun |
Toward a Formal Macroset Theory. |
WMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Special Factors of Traces. |
Recent Topics in Mathematical and Computational Linguistics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Some Algebraic Structures with Iteration Lemmata. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Dömösi, Manfred Kudlek |
Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek |
Bidirectional parsing for linear languages. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Alexandru Mateescu |
Algebraic, Linear and Rational Languages Defined by Mix Operation. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Alexandru Mateescu |
On Distributed Catenation. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Solomon Marcus, Alexandru Mateescu |
Contextual Grammars with Distributed Catenation and Shuffle. |
FCT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Mix Operation with Catenation and Shuffle. |
Developments in Language Theory |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek, Alexandru Mateescu |
On Mix Operation. |
New Trends in Formal Languages |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Calendars and Chronologies. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Small Deterministic Turing Machines. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek |
Morphological Grammars. |
Sci. Ann. Cuza Univ. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Report on IFIP'94. |
SIGACT News |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Alexandru Mateescu |
Distributed Catenation and Chomsky Hierarchy. |
FCT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Alexandru Mateescu |
Rational and Algebraic Languages with Distributed Catenation. |
Developments in Language Theory |
1995 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
General Formal Systems. |
Developments in Language Theory |
1993 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kudlek |
Comparison of basic language generating devices (non-deterministic systems). |
ITA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen |
Dyck1-Reductions of Context-free Languages. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Jantzen, Manfred Kudlek |
Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Context Free Normal Systems. |
MFCS |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Miroslav Novotný |
On a Reducing Operator for Combinatorial Systems |
Information and Control |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek, Miroslav Novotný |
Reducing Operators for Normed General Formal Systems. |
MFCS |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Comparing Several Ways of Context-Independent Parallel Rewriting. |
GI Jahrestagung |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
Characterization of derivation sets of formal systems. |
Automatentheorie und Formale Sprachen |
1973 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")