- Ralf Klasing:
The Relationship Between Gossiping in Vertex-Disjoint Paths Mode and Bisection Width. MFCS 1994: 473-483 - Petr Kurka:
A Comparison of Finite and Cellular Automata. MFCS 1994: 484-493 - Klaus-Jörn Lange, Klaus Reinhardt:
Empty Alternation. MFCS 1994: 494-503 - James Lipton, Michael J. O'Donnell:
Intuitive Counterexamples for Constructive Fallacies. MFCS 1994: 87-111 - Johann A. Makowsky:
Capturing Complexity Classes with Lindström Quantifiers. MFCS 1994: 68-71 - Christoph Meinel, Anna Slobodová:
On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. MFCS 1994: 515-524 - Burkhard Monien, Ralf Diekmann, Reinhard Lüling:
Communication Throughput of Interconnection Networks. MFCS 1994: 72-86 - H. Narayanan, Subir K. Roy, Sachin B. Patkar:
Approximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach. MFCS 1994: 525-535 - Rocco De Nicola, Anna Labella:
A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS 1994: 536-545 - S. Eyono Obono, Pavel Goralcik, M. N. Maksimenko:
Efficient Solving of the Word Equations in One Variable. MFCS 1994: 336-341 - Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126 - Marina Papatriantafilou, Philippas Tsigas:
How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking. MFCS 1994: 546-555 - Mike Paterson, Vlado Dancík:
Longest Common Subsequences. MFCS 1994: 127-142 - Pavel A. Pevzner, Robert J. Lipshutz:
Towards DNA Sequencing Chips. MFCS 1994: 143-158 - Detlef Plump:
Critical Pairs in Term Graph Rewriting. MFCS 1994: 556-566 - Corrado Priami, Daniel Yankelevich:
Read-Write Causality. MFCS 1994: 567-576 - Gwénaël Richomme:
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. MFCS 1994: 577-586 - Bertrand Le Saëc, Igor Litovsky:
On the Minimization Prolem for Omega-Automata. MFCS 1994: 504-514 - Kai Salomaa, Derick Wood, Sheng Yu:
Complexity of E0L Structural Equivalence. MFCS 1994: 587-596 - Jirí Sgall
:
On-Line Scheduling of Parallel Jobs. MFCS 1994: 159-176 - Jop F. Sibeyn, Bogdan S. Chlebus, Michael Kaufmann:
Shorter Queues for Permutation Routing on Meshes. MFCS 1994: 597-607 - Kurt Sieber:
Full Abstraction for the Second Order Subset of an Algol-Like Language. MFCS 1994: 608-617 - Andreas Weber, Tom Head:
The Finest Homophonic Partition and Related Code Concepts. MFCS 1994: 618-628 - Glynn Winskel:
Stable Bistructure Models of PCF. MFCS 1994: 177-197 - Igor Prívara, Branislav Rovan, Peter Ruzicka:
Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings. Lecture Notes in Computer Science 841, Springer 1994, ISBN 3-540-58338-6 [contents]