| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Krzysztof R. Apt, Carole Delporte-Gallet |
Syntax Directed Analysis of Liveness Properties   |
Information and Control  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mikhail J. Atallah, Susanne E. Hambrusch |
Solving Tree Problems on a Mesh-Connected Processor Array |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Paolo Atzeni, Nicola M. Morfuni |
Functional Dependencies and Constraints on Null Values in Database Relations |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Jan van Leeuwen |
Simulation of Large Networks on Smaller Networks |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Brandt |
The Position of Index Sets of Identifiable Sets in the Arithmetical Hierarchy |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Bernard Chazelle, R. Cole, Franco P. Preparata, Chee-Keng Yap |
New Upper Bounds for Neighbor Searching |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Karel Culik II, Jozef Gruska, Arto Salomaa |
Systolic Trellis Automata: Stability, Decidability and Complexity |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Richard Cole, Uzi Vishkin |
Deterministic Coin Tossing with Applications to Optimal Parallel List Ranking |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien |
Categorical Combinators |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Daley, Carl H. Smith |
On the Complexity of Inductive Inference |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Werner Damm, Andreas Goerdt |
An Automata-Theoretical Characterization of the OI-Hierarchy |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Larry Denenberg, Yuri Gurevich, Saharon Shelah |
Definability by Constant-Depth Polynomial-Size Circuits |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gilberto Filé |
Machines for Attribute Grammars |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Flanagan |
An Optimally Data Efficient Isomorphism Inference Algorithm |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Péter Gács |
Every Sequence Is Reducible to a Random One |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Susanne Graf, Joseph Sifakis |
A Modal Characterization of Observational Congruence on Finite Terms of CCS |
Information and Control |
1986 |
RDF |
|
| 1 | Susanne Graf, Joseph Sifakis |
A Logic for the Description of Non-deterministic Programs and Their Properties |
Information and Control |
1986 |
RDF |
|
| 1 | Sergiu Hart, Micha Sharir |
Probabilistic Propositional Temporal Logics |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Hans Heller |
On Relativized Exponential and Probabilistic Complexity Classes |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Kurt Hoffman, Kurt Mehlhorn, Pierre Rosenstiehl, Robert Endre Tarjan |
Sorting Jordan Sequences in Linear Time Using Level-Linked Search Trees |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Steven Homer, John H. Reif |
Arithmetic Theories for Computational Complexity Problems |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dung T. Huynh |
A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Neil Immerman |
Relational Queries Computable in Polynomial Time |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Marek Karpinski, Rutger Verbeek |
On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer |
Pre-analysis Locking |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Nancy A. Lynch, Nancy D. Griffeth, Michael J. Fischer, Leonidas J. Guibas |
Probabilistic Analysis of a Network Resource Allocation Algorithm |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | David B. MacQueen, Gordon D. Plotkin, Ravi Sethi |
An Ideal Model for Recursive Polymorphic Types |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Chilukuri K. Mohan, Mandayam K. Srivas |
Function Definitions in Term Rewriting and Applicative Programming |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Etsuro Moriya, Shigeki Iwata, Takumi Kasai |
A Note on some Simultaneous Relations among Time, Space, and Reversal for Single Work Tape Nondeterministic Turing Machines |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Pekka Orponen, Uwe Schöning |
The Density and Complexity of Polynomial Cores for Intractable |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Aggregating Inductive Expertise |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
A Note on Succinct Representations of Graphs |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Axel Poigné |
On Specifications, Theories, and Models with Higher Types |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | James S. Royer |
Inductive Inference of Approximations |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Emo Welzl |
Boundary NLC Graph Grammars-Basic Definitions, Normal Forms, and Complexity |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Joel I. Seiferas |
A Simplified Lower Bound for Context-Free-Language Recognition |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mike Townsend |
A Polynomial Jump Operator |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Zák |
An Exponential Lower Bound for Real-Time Branching Programs |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Hirofumi Yokouchi |
Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Stathis Zachos, Hans Heller |
A Decisive Characterization of BPP |
Information and Control |
1986 |
DBLP BibTeX RDF |
|
| 1 | Klaus Ambos-Spies |
Sublattices of the Polynomial Time Degrees |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Amihood Amir |
Separation in Nonlinear Time Models |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Takanori Adachi |
Powerposets |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou |
The Complexity of Cubical Graphs |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | José L. Balcázar, Josep Díaz, Joaquim Gabarró |
Uniform Characterizations of Non-Uniform Complexity Measures |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Norbert Blum |
An Area-Maximum Edge Length Trade-off for VLSI Layout |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dexter Kozen |
A Zero-One Law for Logic with a Fixed-Point Operator |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Bernard Chazelle |
How to Search in History |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Cook |
A Taxonomy of Problems with Fast Parallel Algorithms |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Nachum Dershowitz |
Computing with Rewrite Systems |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Greg N. Frederickson |
Implicit Data Structures for Weighted Elements |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Merrick L. Furst, Richard J. Lipton, Larry J. Stockmeyer |
Pseudorandom Number Generation and Space Complexity |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Zvi Galil |
Optimal Parallel Algorithms for String Matching |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Michal Grabowski |
On Relative Completeness of Hoare Logics |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | John Grant, Jack Minker |
Normalization and Axiomatization for Numerical Dependencies |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever |
A Proof Rule for Fair Termination of Guarded Commands |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | David Harel, Rivi Sherman |
Propositional Dynamic Logic of Flowcharts |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Juris Hartmanis, Neil Immerman, Vivian Sewelson |
Sparse Sets in NP-P: EXPTIME versus NEXPTIME |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Friedhelm Meyer auf der Heide |
Lower Time Bounds for Solving Linear Diophantine Equations on Several Parallel Computational Models |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Matthew Hennessy, Colin Stirling |
The Power of the Future Perfect in Program Logics |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Stefan Hertel, Kurt Mehlhorn |
Fast Triangulation of the Plane with Respect to Simple Polygons |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Dung T. Huynh |
The Complexity of Equivalence Problems for Commutative Grammars |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier |
Some Characterizations of Multihead Finite Automata |
Information and Control |
1985 |
RDF |
|
| 1 | Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier |
On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's |
Information and Control |
1985 |
RDF |
|
| 1 | Oscar H. Ibarra, Louis E. Rosier |
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs |
Information and Control |
1985 |
RDF |
|
| 1 | Oscar H. Ibarra, Louis E. Rosier |
On Simple Programs with Primitive Conditional Statements |
Information and Control |
1985 |
RDF |
|
| 1 | Erich Kaltofen |
Effective Hilbert Irreducibility |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Ravi Kannan |
Unraveling k-page graphs |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Marek Karpinski, Jan van Leeuwen |
Preface |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Marek Karpinski, Rutger Verbeek |
There Is No Polynomial Deterministic Space Simulation of Probabilistic Space with a Two-Way Random-Tape Generator |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | A. J. Kfoury |
Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic) |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Rocco De Nicola |
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | David A. Plaisted |
Semantic Confluence Tests and Completion Methods |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Rüdiger Reischuk |
A New Solution for the Byzantine Generals Problem |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | J. M. Robson |
Alternation with Restrictions on Looping |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | William C. Rounds |
On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Rytter |
Fast Recognition of Pushdown Automaton and Context-free Languages |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Richard Statman |
Logical Relations and the Typed lambda-Calculus |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Jacques Stern |
Complexity of Some Problems from the Theory of Automata |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Helge Szwerinski |
Symmetrical One-Dimensional Cellular Spaces |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Esko Ukkonen |
Algorithms for Approximate String Matching |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Preface |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Uzi Vishkin |
Optimal Parallel Pattern Matching in Strings |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Athanasios K. Tsakalidis |
AVL-Trees for Localized Search |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Ingo Wegener |
The Critical Complexity of All (Monotone) Boolean Functions and Monotone Graph Properties |
Information and Control |
1985 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Arazi |
An Approach for Generating Different Types of Gray Codes |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Miklós Ajtai, Michael L. Fredman, János Komlós |
Hash Functions for Priority Queues |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Heikki Mannila |
A Semantic Approach to Program Modularity |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Catriel Beeri, Moshe Y. Vardi |
On Acyclic Database Decompositions |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Process Algebra for Synchronous Communication |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Semantics of Communicating Processes |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Edward G. Coffman Jr., Edgar N. Gilbert |
Dynamic, First-Fit Packings in Two or More Dimensions |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Richard Cole, Chee-Keng Yap |
Geometric Retrieval Problems |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk |
Two Nonlinear Lower Bounds for On-Line Computations |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Erich Doberkat |
An Average Case Analysis of Floyd's Algorithm to Construct Heaps |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
An Easy Proof of Greibach Normal Form |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Deciding Full Branching Time Logic |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Shimon Even, Alan L. Selman, Yacov Yacobi |
The Complexity of Promise Problems with Applications to Public-Key Cryptography |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
| 1 | Yishai A. Feldman |
A Decidable Propositional Dynamic Logic with Explicit Probabilities |
Information and Control |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")