Conferences in DBLP
Leonard Pitt , Carl H. Smith Probability and Plurality for Aggregations of Learning Machines. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:1-10 [Conf ] M. A. Nait Abdallah Logic Programming with Ions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:11-20 [Conf ] Peter Dybjer Inverse Image Analysis. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:21-30 [Conf ] Steffen Hölldobler A Unification Algorithms for Confluent Theories. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:31-41 [Conf ] Volker Diekert On the Knuth-Bendix Completion for Concurrent Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:42-53 [Conf ] Jieh Hsiang , Michaël Rusinowitch On Word Problems in Equational Theories. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:54-71 [Conf ] R. K. Shyamasundar , K. T. Narayana , Toniann Pitassi Semantics for Nondeterministic Asynchronous Broadcast Networks. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:72-83 [Conf ] Jos C. M. Baeten , Rob J. van Glabbeek Another Look at Abstraction in Process Algebra (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:84-94 [Conf ] Rob Gerth , Andy Boucher A Timed Failures Model for Extended Communicating Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:95-114 [Conf ] Susanne Graf , Joseph Sifakis Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:115-125 [Conf ] Kim Guldstrand Larsen , Robin Milner Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:126-135 [Conf ] Juhani Karhumäki On Recent Trends in Formal Language Theory. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:136-162 [Conf ] David A. Mix Barrington , Denis Thérien Non-Uniform Automata Over Groups. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:163-173 [Conf ] Danièle Beauquier Minimal Automaton of a Rational Cover. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:174-189 [Conf ] Christian Choffrut , Christine Duboc A Star-Height Problem in Free Monoids with Partial Communications. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:190-201 [Conf ] J. Howard Johnson Single-Valued Finite Transduction. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:202-211 [Conf ] Werner Kuich The Kleene and the Parikh Theorem in Complete Semirings. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:212-225 [Conf ] Yves Métivier An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:226-236 [Conf ] Jean-Eric Pin On the Language Accepted by Finite Reversible Automata. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:237-249 [Conf ] IJsbrand Jan Aalbersberg , Hendrik Jan Hoogeboom Decision Problems for Regular Trace Languages. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:250-259 [Conf ] Michal Chytil , Jirí Demner Panic Mode without Panic. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:260-268 [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 ] ICALP, 1987, pp:269-279 [Conf ] Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:280-289 [Conf ] Kamal Lodaya , P. S. Thiagarajan A Modal Logic for a Subclass of Event Structures. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:290-303 [Conf ] Torben Hagerup , Marek Chrobak , Krzysztof Diks Parallel 5-Colouring of Planar Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:304-313 [Conf ] Gad M. Landau , Baruch Schieber , Uzi Vishkin Parallel Construction of a Suffix Tree (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:314-325 [Conf ] Ming Li , Yaacov Yesha The Probabilistic and Deterministic Parallel Complexity of Symmetric Functions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:326-335 [Conf ] R. Ramesh , Rakesh M. Verma , Krishnaprasad Thirunarayan , I. V. Ramakrishnan Term Matching on Parallel Computers. [Citation Graph (1, 0)][DBLP ] ICALP, 1987, pp:336-346 [Conf ] Jan van Leeuwen , Nicola Santoro , Jorge Urrutia , Shmuel Zaks Guessing Games and Distributed Computations in Synchronous Networks. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:347-356 [Conf ] Jacob T. Schwartz , Micha Sharir On the Bivariate Function Minimization Problem And Its Applications to Motion Planning. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:357-363 [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 ] ICALP, 1987, pp:364-375 [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 ] ICALP, 1987, pp:376-385 [Conf ] Azaria Paz , Claus-Peter Schnorr Approximating Integer Lattices by Lattices with Cyclic Factor Groups. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:386-393 [Conf ] Jin-yi Cai , Gabriele E. Meyer On the Complexity of Graph Critical Uncolorability. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:394-403 [Conf ] Giorgio Gambosi , Jaroslav Nesetril , Maurizio Talamo Posets, Boolean Representations and Quick Path Searching. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:404-424 [Conf ] Satoru Miyano The Lexicographically First Maximal Subgraph Problems: P-Completeness and NC Algorithms. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:425-434 [Conf ] Norbert Th. Müller Uniform Computational Complexity of Taylor Series. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:435-444 [Conf ] Alberto Marchetti-Spaccamela , Carlo Vercellis Efficient On-Line Algorithms for the Knapsack Problem (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:445-456 [Conf ] Martin Dietzfelbinger Lower Bounds for Sorting of Sums. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:457-466 [Conf ] Alok Aggarwal , Jeffrey Scott Vitter The I/O Complexity of Sorting and Related Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:467-478 [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 ] ICALP, 1987, pp:479-488 [Conf ] Athanasios K. Tsakalidis The Nearest Common Ancestor in a Dynamic Tree. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:489-498 [Conf ] Alain Finkel A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:499-508 [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 ] ICALP, 1987, pp:509-520 [Conf ] Hans-Jörg Kreowski Partial Algebras Flow From Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:521-530 [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 ] ICALP, 1987, pp:531-541 [Conf ] Martin Beaudry Testing Membership in Commutative Transformation Semigroups. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:542-549 [Conf ] Oscar H. Ibarra , Tao Jiang On the Computing Power of One-Way Cellular Arrays. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:550-562 [Conf ] Leslie G. Valiant Recent Developments in the Theory of Learning (Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:563- [Conf ]