Conferences in DBLP
Thomas Cheatham Models, Languages, and Compiler Technology for High Performance Computers. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:3-26 [Conf ] Michel Cosnard , Martín Matamala On NC-Real Complexity Classes for Additive Circuits and Their Relations with NC. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:27-37 [Conf ] Pavol Duris , José D. P. Rolim E-Complete Sets Do Not Have Optimal Polynomial Time Approximations. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:38-51 [Conf ] Stephen L. Bloom , Zoltán Ésik Solving Polynomial Fixed Point Equations. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:52-67 [Conf ] Johann A. Makowsky Capturing Complexity Classes with Lindström Quantifiers. [Citation Graph (1, 0)][DBLP ] MFCS, 1994, pp:68-71 [Conf ] Burkhard Monien , Ralf Diekmann , Reinhard Lüling Communication Throughput of Interconnection Networks. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:72-86 [Conf ] James Lipton , Michael J. O'Donnell Intuitive Counterexamples for Constructive Fallacies. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:87-111 [Conf ] Fernando Orejas , Elvira Pino , Hartmut Ehrig Algebraic Methods in the Compositional Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:112-126 [Conf ] Mike Paterson , Vlado Dancík Longest Common Subsequences. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:127-142 [Conf ] Pavel A. Pevzner , Robert J. Lipshutz Towards DNA Sequencing Chips. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:143-158 [Conf ] Jiri Sgall On-Line Scheduling of Parallel Jobs. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:159-176 [Conf ] Glynn Winskel Stable Bistructure Models of PCF. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:177-197 [Conf ] Susanne Albers A Competitive Analysis of the List Update Problem with Lookahead. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:201-210 [Conf ] Fabio Alessi , Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro May and Must Convergencey in Concurrent Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:211-220 [Conf ] Klaus Ambos-Spies , Hans-Christian Neis , Sebastiaan Terwijn Genericity and Measure for Exponential Time. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:221-232 [Conf ] Ricardo A. Baeza-Yates Analysis of Bounded Disorder. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:233-244 [Conf ] Alberto Bertoni , Carlo Mereghetti , Giovanni Pighizzini On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:245-255 [Conf ] Frank S. de Boer , M. van Hulst A Proof System for Asynchronously Communicating Deterministic Processes. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:256-265 [Conf ] A. Bouabdallah , Marie-Claude Heydemann , Jaroslav Opatrny , Dominique Sotteau Embedding Complete Binary Trees into Star Networks. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:266-275 [Conf ] Carsten Damm , Markus Holzer Inductive Counting Below LOGSPACE. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:276-285 [Conf ] Jürgen Dassow Decision Problems for Edge Grammars. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:286-295 [Conf ] Frank K. H. A. Dehne , Rolf Klein "The Big Sweep": On the Power of the Wavefront Approach to Voronoi Diagrams. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:296-305 [Conf ] Piotr Denejko , Krzysztof Diks , Andrzej Pelc , Marek Piotrów Reliable Minimum Finding Comparator Networks. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:306-315 [Conf ] Anders Dessmark , Andrzej Lingas , Oscar Garrido On Parallel Complexity of Maximum f-matching and the Degree Sequence Problem. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:316-325 [Conf ] Martin Dietzfelbinger , Juraj Hromkovic , Georg Schnitger A Comparison of Two Lower Bound Methods for Communication Complexity. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:326-335 [Conf ] S. Eyono Obono , Pavel Goralcik , M. N. Maksimenko Efficient Solving of the Word Equations in One Variable. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:336-341 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Paola Quaglia A Pi-Calculus with Explicit Substitutions: the Late Semantics. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:342-351 [Conf ] Michael Forti , Furio Honsell , Marina Lenisa Processes and Hyperuniverses. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:352-363 [Conf ] Felix Frayman , Valery Kanevsky , Walter W. Kirchherr The Combinatorial Complexity of a Finite String. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:364-372 [Conf ] Robert Gold A Fully Abstract Semantics for Termination in Petri Nets. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:373-382 [Conf ] Mirian Halfeld Ferrari Alves , Dominique Laurent , Nicolas Spyratos Passive and Active Rules in Deductive Databases. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:383-392 [Conf ] Tibor Hegedüs Combinatorial Results on the Complexity of Teaching and Learning. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:393-402 [Conf ] Montserrat Hermo Degrees and Reducibilities of Easy Tally Sets. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:403-412 [Conf ] Hendrik Jan Hoogeboom , Paulien ten Pas MSO Definable Text Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:413-422 [Conf ] Juraj Hromkovic , Jarkko Kari , Lila Kari , Dana Pardubská Two Lower Bounds on Distributive Generation of Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:423-432 [Conf ] Paola Inverardi , Marisa Venturini Zilli Rational Rewriting. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:433-442 [Conf ] Juhani Karhumäki , Wojciech Plandowski On the Size of Independent Systems of Equations in Semigroups. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:443-452 [Conf ] Marek Karpinski , Wojciech Rytter On a Sublinear Time Parallel Construction of Optimal Binary Search Trees. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:453-461 [Conf ] Dimitris J. Kavvadias , Grammati E. Pantziou , Paul G. Spirakis , Christos D. Zaroliagis Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:462-472 [Conf ] Ralf Klasing The Relationship Between Gossiping in Vertex-Disjoint Paths Mode and Bisection Width. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:473-483 [Conf ] Petr Kurka A Comparison of Finite and Cellular Automata. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:484-493 [Conf ] Klaus-Jörn Lange , Klaus Reinhardt Empty Alternation. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:494-503 [Conf ] Bertrand Le Saëc , Igor Litovsky On the Minimization Prolem for Omega-Automata. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:504-514 [Conf ] Christoph Meinel , Anna Slobodová On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:515-524 [Conf ] H. Narayanan , Subir Roy , Sachin B. Patkar Approximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:525-535 [Conf ] Rocco De Nicola , Anna Labella A Completeness Theorem fro Nondeterministic Kleene Algebras. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:536-545 [Conf ] Marina Papatriantafilou , Philippas Tsigas How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:546-555 [Conf ] Detlef Plump Critical Pairs in Term Graph Rewriting. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:556-566 [Conf ] Corrado Priami , Daniel Yankelevich Read-Write Causality. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:567-576 [Conf ] Gwénaël Richomme Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:577-586 [Conf ] Kai Salomaa , Derick Wood , Sheng Yu Complexity of E0L Structural Equivalence. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:587-596 [Conf ] Jop F. Sibeyn , Bogdan S. Chlebus , Michael Kaufmann Shorter Queues for Permutation Routing on Meshes. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:597-607 [Conf ] Kurt Sieber Full Abstraction for the Second Order Subset of an Algol-Like Language. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:608-617 [Conf ] Andreas Weber , Tom Head The Finest Homophonic Partition and Related Code Concepts. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:618-628 [Conf ]