The SCEAS System
Navigation Menu

Conferences in DBLP

International Colloquium on Automata, Languages and Programming (ICALP) (icalp)
1987 (conf/icalp/1987)

  1. Leonard Pitt, Carl H. Smith
    Probability and Plurality for Aggregations of Learning Machines. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:1-10 [Conf]
  2. M. A. Nait Abdallah
    Logic Programming with Ions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:11-20 [Conf]
  3. Peter Dybjer
    Inverse Image Analysis. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:21-30 [Conf]
  4. Steffen Hölldobler
    A Unification Algorithms for Confluent Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:31-41 [Conf]
  5. Volker Diekert
    On the Knuth-Bendix Completion for Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:42-53 [Conf]
  6. Jieh Hsiang, Michaël Rusinowitch
    On Word Problems in Equational Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:54-71 [Conf]
  7. 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]
  8. 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]
  9. Rob Gerth, Andy Boucher
    A Timed Failures Model for Extended Communicating Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:95-114 [Conf]
  10. Susanne Graf, Joseph Sifakis
    Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:115-125 [Conf]
  11. Kim Guldstrand Larsen, Robin Milner
    Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:126-135 [Conf]
  12. Juhani Karhumäki
    On Recent Trends in Formal Language Theory. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:136-162 [Conf]
  13. David A. Mix Barrington, Denis Thérien
    Non-Uniform Automata Over Groups. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:163-173 [Conf]
  14. Danièle Beauquier
    Minimal Automaton of a Rational Cover. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:174-189 [Conf]
  15. 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]
  16. J. Howard Johnson
    Single-Valued Finite Transduction. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:202-211 [Conf]
  17. Werner Kuich
    The Kleene and the Parikh Theorem in Complete Semirings. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:212-225 [Conf]
  18. 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]
  19. Jean-Eric Pin
    On the Language Accepted by Finite Reversible Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:237-249 [Conf]
  20. IJsbrand Jan Aalbersberg, Hendrik Jan Hoogeboom
    Decision Problems for Regular Trace Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:250-259 [Conf]
  21. Michal Chytil, Jirí Demner
    Panic Mode without Panic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:260-268 [Conf]
  22. 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]
  23. Bernhard Josko
    Modelchecking of CTL Formulae under Liveness Assumptions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:280-289 [Conf]
  24. 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]
  25. Torben Hagerup, Marek Chrobak, Krzysztof Diks
    Parallel 5-Colouring of Planar Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:304-313 [Conf]
  26. 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]
  27. Ming Li, Yaacov Yesha
    The Probabilistic and Deterministic Parallel Complexity of Symmetric Functions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:326-335 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Jin-yi Cai, Gabriele E. Meyer
    On the Complexity of Graph Critical Uncolorability. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:394-403 [Conf]
  35. Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo
    Posets, Boolean Representations and Quick Path Searching. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:404-424 [Conf]
  36. Satoru Miyano
    The Lexicographically First Maximal Subgraph Problems: P-Completeness and NC Algorithms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:425-434 [Conf]
  37. Norbert Th. Müller
    Uniform Computational Complexity of Taylor Series. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:435-444 [Conf]
  38. 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]
  39. Martin Dietzfelbinger
    Lower Bounds for Sorting of Sums. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:457-466 [Conf]
  40. 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]
  41. 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]
  42. Athanasios K. Tsakalidis
    The Nearest Common Ancestor in a Dynamic Tree. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:489-498 [Conf]
  43. 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]
  44. 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]
  45. Hans-Jörg Kreowski
    Partial Algebras Flow From Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:521-530 [Conf]
  46. 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]
  47. Martin Beaudry
    Testing Membership in Commutative Transformation Semigroups. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:542-549 [Conf]
  48. 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]
  49. Leslie G. Valiant
    Recent Developments in the Theory of Learning (Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:563- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002