Conferences in DBLP
Maurizio Gabbrielli , Giorgio Levi On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:1-19 [Conf ] Hong Chen , Jieh Hsiang Logic Programming with Recurrence Domains. [Citation Graph (1, 0)][DBLP ] ICALP, 1991, pp:20-34 [Conf ] Antonio Bucciarelli , Thomas Ehrhard Extensional Embedding of a Strongly Stable Model of PCF. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:35-46 [Conf ] Christine Ernoult , Alan Mycroft Uniform Ideals and Strictness Analysis. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:47-59 [Conf ] Val Tannen , Ramesh Subrahmanyam Logical and Computational Aspects of Programming with Sets/Bags/Lists. [Citation Graph (24, 0)][DBLP ] ICALP, 1991, pp:60-75 [Conf ] Ahmed Bouajjani , Jean-Claude Fernandez , Susanne Graf , Carlos Rodriguez , Joseph Sifakis Safety for Branching Time Semantics. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:76-92 [Conf ] Limor Fix , Nissim Francez , Orna Grumberg Program Composition and Modular Verification. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:93-114 [Conf ] Rajeev Alur , Costas Courcoubetis , David L. Dill Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:115-126 [Conf ] Rance Cleaveland , Bernhard Steffen Computing Behavioural Relations, Logically. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:127-138 [Conf ] Yosi Ben-Asher , David Peleg , R. Ramaswami , Assaf Schuster The POwer of Reconfiguration. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:139-150 [Conf ] Jean-Denis Fouks General Resolution of Tseitin Formulas is Hard. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:151-162 [Conf ] Sampath Kannan , Andrew Chi-Chih Yao Program Checkers for Probability Generation. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:163-173 [Conf ] Janis Kaneps , Rusins Freivalds Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:174-185 [Conf ] Rafael Casas , Josep Díaz , Conrado Martinez Static on Random Trees. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:186-203 [Conf ] Kim Guldstrand Larsen The Expressive Power of Implicit Specifications. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:204-216 [Conf ] Wang Yi CCS + Time = An Interleaving Model for Real Time Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:217-228 [Conf ] Volker Diekert , Edward Ochmanski , Klaus Reinhardt On Confluent Semi-Commutations - Decidability and Complexity Results. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:229-241 [Conf ] Gérard Duchamp , Daniel Krob Lazard's Factorizations of Free Partially Commutative Monoids. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:242-253 [Conf ] Paul Gastin , Antoine Petit , Wieslaw Zielonka A Kleene Theorem for Infinite Trace Languages. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:254-266 [Conf ] Nachum Dershowitz Cononical Sets of Horn Clauses. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:267-278 [Conf ] Klaus Madlener , Paliath Narendran , Friedrich Otto A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:279-290 [Conf ] Pierre-Louis Curien , Roberto Di Cosmo A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:291-302 [Conf ] Tim Fernando Provably Recursive Programs and Program Extraction. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:303-313 [Conf ] Thomas Lengauer , Dirk Theune Efficient Algorithms for Path Problems with Gernal Cost Citeria. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:314-326 [Conf ] Hristo Djidjev , Grammati E. Pantziou , Christos D. Zaroliagis Computing Shortest Paths and Distances in Planar Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:327-338 [Conf ] Zvi Galil , Giuseppe F. Italiano Maintaining Biconnected Components of Dynamic Planar Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:339-350 [Conf ] Martin Loebl Efficient Maximal Cubic Graph Cuts (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:351-362 [Conf ] Uzi Vishkin Strutural Parallel Algorithmics. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:363-380 [Conf ] Desh Ranjan , Suresh Chari , Pankaj Rohatgi Improving Known Solutions is Hard. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:381-392 [Conf ] Lane A. Hemachandra , Albrecht Hoene Collapsing Degrees via Strong Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:393-404 [Conf ] Torben Hagerup Fast Parallel Generation of Random Permutations. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:405-416 [Conf ] Hermann Jung , Maria J. Serna , Paul G. Spirakis A Parallel Algorithm for Two Processors Precedence Constraint Scheduling. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:417-428 [Conf ] Martin Fürer An Efficient NC Algorithm for Finding Hamiltonian Cycles in Dense Directed Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:429-440 [Conf ] Wolfgang Thomas On Logics, Tilings, and Automata. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:441-454 [Conf ] Jean-Pierre Jouannaud , Mitsuhiro Okada Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:455-468 [Conf ] Hubert Comon Complete Axiomatizations of Some Quotient Term Algebras. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:469-480 [Conf ] Roland N. Bol , Jan Friso Groote The Meaning of Negative Premises in Transition System Specifications. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:481-494 [Conf ] Walter Vogler Deciding History Preserving Bisimilarity. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:495-505 [Conf ] Luca Aceto , Matthew Hennessy Adding Action Refinement to a Finite Process Algebra. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:506-519 [Conf ] Dario Bini , Luca Gemignani , Victor Y. Pan Improved Parallel Computations with Matrices and Polynomials. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:520-531 [Conf ] Jens Lagergren , Stefan Arnborg Finding Minimal Forbidden Minors Using a Finite Congruence. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:532-543 [Conf ] Hans L. Bodlaender , Ton Kloks Better Algorithms for the Pathwidth and Treewidth of Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:544-555 [Conf ] Felipe Cucker , A. Torrecillas Two P-Complete Problems in the Theory of the Reals. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:556-565 [Conf ] Juha Honkala , Arto Salomaa L Morphisms: Bounded Delay and Regularity of Ambiguity. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:566-574 [Conf ] Véronique Bruyère , Clelia de Felice Degree and Decomposability of Variable-Length Codes. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:575-587 [Conf ] Thomas Wilke An Eilenberg Theorem for Infinity-Languages. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:588-599 [Conf ] Karel Culik II , Simant Dube Balancing Order and Chaos in Image Generation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:600-614 [Conf ] Yuri Gurevich Average Case Complexity. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:615-628 [Conf ] Tao Jiang , Bala Ravikumar Minimal NFA Problems Are Hard. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:629-640 [Conf ] Kosaburo Hashiguchi Algorithms for Determining the Smallest Number of Nonterminals (States) Sufficient for Generating (Accepting) a Regular Language. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:641-648 [Conf ] Binay K. Bhattacharya , Godfried T. Toussaint Computing Shortest Transversals. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:649-660 [Conf ] Bernard Chazelle , Herbert Edelsbrunner , Michelangelo Grigni , Leonidas J. Guibas , John Hershberger , Micha Sharir , Jack Snoeyink Ray Shooting in Polygons Using Geodesic Triangulations. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:661-646 [Conf ] Marshall W. Bern , David Eppstein , F. Frances Yao The Expected Extremes in a Delaunay Triangulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:674-685 [Conf ] Bernard Chazelle Computational Geometry for the Gourmet: Old Fare and New Dishes. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:686-696 [Conf ] Pavol Duris , Zvi Galil On the Power of Multiple Reads in a Chip. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:697-706 [Conf ] Hans Dietmar Gröger , György Turán On Linear Decision Trees Computing Boolean Functions. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:707-718 [Conf ] Zvi Galil , Oded Margalit An Almost Linear-Time Algorithm for the Dense Subset-Sum Problem. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:719-727 [Conf ] Samir Khuller , Stephen G. Mitchell , Vijay V. Vazirani On-Line Algorithms for Weighted Bipartite Matching and Stable Marriages. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:728-738 [Conf ] Moni Naor String Matching with Preprocessing of Text and Pattern. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:739-750 [Conf ] R. Ravi , Ajit Agrawal , Philip N. Klein Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:751-762 [Conf ]