Conferences in DBLP
Leonard Pitt , Carl H. Smith Probability and Plurality for Aggregations of Learning Machines. [Citation Graph (0, 0)][DBLP ] Conf ] M. A. Nait Abdallah Logic Programming with Ions. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dybjer Inverse Image Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler A Unification Algorithms for Confluent Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert On the Knuth-Bendix Completion for Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Michaël Rusinowitch On Word Problems in Equational Theories. [Citation Graph (0, 0)][DBLP ] Conf ] R. K. Shyamasundar , K. T. Narayana , Toniann Pitassi Semantics for Nondeterministic Asynchronous Broadcast Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Rob J. van Glabbeek Another Look at Abstraction in Process Algebra (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rob Gerth , Andy Boucher A Timed Failures Model for Extended Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Graf , Joseph Sifakis Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Robin Milner Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Karhumäki On Recent Trends in Formal Language Theory. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Mix Barrington , Denis Thérien Non-Uniform Automata Over Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier Minimal Automaton of a Rational Cover. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Choffrut , Christine Duboc A Star-Height Problem in Free Monoids with Partial Communications. [Citation Graph (0, 0)][DBLP ] Conf ] J. Howard Johnson Single-Valued Finite Transduction. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Kuich The Kleene and the Parikh Theorem in Complete Semirings. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Métivier An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Eric Pin On the Language Accepted by Finite Reversible Automata. [Citation Graph (0, 0)][DBLP ] Conf ] IJsbrand Jan Aalbersberg , Hendrik Jan Hoogeboom Decision Problems for Regular Trace Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Chytil , Jirí Demner Panic Mode without Panic. [Citation Graph (0, 0)][DBLP ] Conf ] Thilo Hafer , Wolfgang Thomas Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Kamal Lodaya , P. S. Thiagarajan A Modal Logic for a Subclass of Event Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Hagerup , Marek Chrobak , Krzysztof Diks Parallel 5-Colouring of Planar Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Gad M. Landau , Baruch Schieber , Uzi Vishkin Parallel Construction of a Suffix Tree (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ming Li , Yaacov Yesha The Probabilistic and Deterministic Parallel Complexity of Symmetric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] R. Ramesh , Rakesh M. Verma , Krishnaprasad Thirunarayan , I. V. Ramakrishnan Term Matching on Parallel Computers. [Citation Graph (1, 0)][DBLP ] Conf ] Jan van Leeuwen , Nicola Santoro , Jorge Urrutia , Shmuel Zaks Guessing Games and Distributed Computations in Synchronous Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob T. Schwartz , Micha Sharir On the Bivariate Function Minimization Problem And Its Applications to Motion Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Edelsbrunner , Günter Rote , Emo Welzl Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Levcopoulos , Andrzej Lingas , Jörg-Rüdiger Sack Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Azaria Paz , Claus-Peter Schnorr Approximating Integer Lattices by Lattices with Cyclic Factor Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-yi Cai , Gabriele E. Meyer On the Complexity of Graph Critical Uncolorability. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Gambosi , Jaroslav Nesetril , Maurizio Talamo Posets, Boolean Representations and Quick Path Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Miyano The Lexicographically First Maximal Subgraph Problems: P-Completeness and NC Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Th. Müller Uniform Computational Complexity of Taylor Series. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Marchetti-Spaccamela , Carlo Vercellis Efficient On-Line Algorithms for the Knapsack Problem (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Dietzfelbinger Lower Bounds for Sorting of Sums. [Citation Graph (0, 0)][DBLP ] Conf ] Alok Aggarwal , Jeffrey Scott Vitter The I/O Complexity of Sorting and Related Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Stefan Näher , Helmut Alt A Lower Bound for the Complexity of the Union-Split-Find Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Athanasios K. Tsakalidis The Nearest Common Ancestor in a Dynamic Tree. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Finkel A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney R. Howell , Louis E. Rosier Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Kreowski Partial Algebras Flow From Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Jörn Lange , Birgit Jenner , Bernd Kirsig The Logarithmic Alternation Hierarchiy Collapses: A Sigma^C_2 = A Pi^C_2. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Beaudry Testing Membership in Commutative Transformation Semigroups. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra , Tao Jiang On the Computing Power of One-Way Cellular Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie G. Valiant Recent Developments in the Theory of Learning (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 