Conferences in DBLP
Flemming Nielson Abstract Interpretation of Denotational Definions (A Survey). [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:1-20 [Conf ] E. Allen Emerson , Chin-Laung Lei Temporal Reasoning Under Generalized Fairness Constraints. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:21-36 [Conf ] Didier Caucal Décidabiité de l'égalité des Languages Algébriques Infinitaires Simples. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:37-48 [Conf ] David de Frutos-Escrig Some Probabilistic Powerdomains in the Category SFP. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:49-59 [Conf ] M. A. Nait Abdallah Icons and Local Definitions in Logic Programming. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:60-72 [Conf ] Paul G. Spirakis Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:73-86 [Conf ] Emile H. L. Aarts , F. M. J. de Bont , J. H. A. Habers , Peter J. M. van Laarhoven A Parallel Statistical Cooling Algorithm. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:87-97 [Conf ] Andrzej Lingas Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:98-103 [Conf ] Johan Håstad , Bettina Helfrich , J. C. Lagarias , Claus-Peter Schnorr Polynomial Time Algorithms for Finding Integer Relations Among Real Numbers. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:105-118 [Conf ] Hans L. Bodlaender , Jan van Leeuwen New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:119-129 [Conf ] Roberto Tamassia , Ioannis G. Tollis Algorithms for Visibility Representations of Planar Graphs. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:130-141 [Conf ] Friedhelm Meyer auf der Heide Speeding up Random Access Machines by Few Processors. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:142-152 [Conf ] Thomas Lengauer Efficient Algorithms for Finding Minimum Spanning Forests of Hierarchically Defined Graphs. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:153-170 [Conf ] Oscar H. Ibarra , Bala Ravikumar On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:171-179 [Conf ] Jean-Pierre Pécuchet Variétés de Semis Groupes et Mots Infinis. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:180-191 [Conf ] Christine Duboc Equations in Free Partially Commutative Monoids. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:192-202 [Conf ] Philippe Darondeau Separating and Testing. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:203-212 [Conf ] Christian Choffrut , Marcel Paul Schützenberger Décomposition de Fonctions Rationnelles. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:213-226 [Conf ] Ursula Schmidt Long Unavoidable Patterns. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:227-235 [Conf ] Gilles Bernot , Michel Bidoit , Christine Choppy Abstract Implementations and Correctness Proofs. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:236-251 [Conf ] Udo Kelter Strictness and Serializability. [Citation Graph (1, 0)][DBLP ] STACS, 1986, pp:252-261 [Conf ] B. Gamatie Towards Specification and Proof of Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:262-276 [Conf ] Harry B. Hunt III , Richard Edwin Stearns Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report). [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:277-290 [Conf ] Chandra M. R. Kintala , Detlef Wotschke Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract). [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:291-305 [Conf ] Louis E. Rosier , Hsu-Chun Yen Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:306-320 [Conf ] Juris Hartmanis , Lane A. Hemachandra On Sparse Oracles Separating Feasible Complexity Classes. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:321-333 [Conf ] José L. Balcázar , Ronald V. Book On Generalized Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:334-340 [Conf ] Kurt Mehlhorn , Franco P. Preparata Area-time Optimal Division for T=Omega(log n)^{1+epsilon} [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:341-352 [Conf ] Allan Borodin , Faith E. Fich , Friedhelm Meyer auf der Heide , Eli Upfal , Avi Wigderson A Time-Space Tradeoff for Element Distinctness. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:353-358 [Conf ] Rüdiger Reischuk Parallel Machines and their Communication Theoretical Limits. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:359-368 [Conf ]