Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Inf. Control."( http://dblp.L3S.de/Venues/Inf._Control. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/iandc

Publication years (Num. hits)
1957-1958 (31) 1959 (27) 1960 (27) 1961 (31) 1962 (25) 1963 (32) 1964 (35) 1965 (41) 1966 (38) 1967 (78) 1968 (89) 1969 (66) 1970 (64) 1971 (70) 1972 (69) 1973 (67) 1974 (83) 1975 (67) 1976 (70) 1977 (70) 1978 (92) 1979 (79) 1980 (75) 1981 (66) 1982 (61) 1983 (43) 1984 (47) 1985 (45) 1986 (40)
Publication types (Num. hits)
article(1628)
Venues (Conferences, Journals, ...)
Inf. Control.(1628)
Authors
Grzegorz Rozenberg(24) Azriel Rosenfeld(17) Arto Salomaa(15) Hermann A. Maurer(13) Derick Wood(12) N. U. Ahmed(11) Aaron D. Wyner(10) Eugene S. Santos(10) Karel Culík II(10) Marcel Paul Schützenberger(10) Seymour Ginsburg(10) Sheila A. Greibach(10) David M. Mandelbaum(9) Namio Honda(9) Elwyn R. Berlekamp(8) Ian F. Blake(7) More (+10 of total 1419)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 1628 publication records. Showing 1628 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paolo Atzeni, Nicola M. Morfuni Functional Dependencies and Constraints on Null Values in Database Relations Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Carole Delporte-Gallet Syntax Directed Analysis of Liveness Properties Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Bernard Chazelle, Richard Cole 0001, Franco P. Preparata, Chee-Keng Yap New Upper Bounds for Neighbor Searching Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1James S. Royer Inductive Inference of Approximations Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer Pre-analysis Locking Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Grzegorz Rozenberg, Emo Welzl Boundary NLC Graph Grammars-Basic Definitions, Normal Forms, and Complexity Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Etsuro Moriya, Shigeki Iwata, Takumi Kasai A Note on some Simultaneous Relations among Time, Space, and Reversal for Single Work Tape Nondeterministic Turing Machines Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Christos H. Papadimitriou, Mihalis Yannakakis A Note on Succinct Representations of Graphs Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Kurt Hoffman, Kurt Mehlhorn, Pierre Rosenstiehl, Robert Endre Tarjan Sorting Jordan Sequences in Linear Time Using Level-Linked Search Trees Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Chilukuri K. Mohan, Mandayam K. Srivas Function Definitions in Term Rewriting and Applicative Programming Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Mikhail J. Atallah, Susanne E. Hambrusch Solving Tree Problems on a Mesh-Connected Processor Array Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Karel Culík II, Jozef Gruska, Arto Salomaa Systolic Trellis Automata: Stability, Decidability and Complexity Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joel I. Seiferas A Simplified Lower Bound for Context-Free-Language Recognition Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Péter Gács Every Sequence Is Reducible to a Random One Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Werner Damm, Andreas Goerdt An Automata-Theoretical Characterization of the OI-Hierarchy Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Hans Heller On Relativized Exponential and Probabilistic Complexity Classes Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Joseph Sifakis A Modal Characterization of Observational Congruence on Finite Terms of CCS Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Joseph Sifakis A Logic for the Description of Non-deterministic Programs and Their Properties Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Stanislav Zák An Exponential Lower Bound for Real-Time Branching Programs Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Sergiu Hart, Micha Sharir Probabilistic Propositional Temporal Logics Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Pierre-Louis Curien Categorical Combinators Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Peter A. Flanagan An Optimally Data Efficient Isomorphism Inference Algorithm Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Larry Denenberg, Yuri Gurevich, Saharon Shelah Definability by Constant-Depth Polynomial-Size Circuits Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Hirofumi Yokouchi Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Stathis Zachos, Hans Heller A Decisive Characterization of BPP Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Axel Poigné On Specifications, Theories, and Models with Higher Types Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Dung T. Huynh A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Mike Townsend A Polynomial Jump Operator Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Ulrike Brandt The Position of Index Sets of Identifiable Sets in the Arithmetical Hierarchy Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Neil Immerman Relational Queries Computable in Polynomial Time Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Steven Homer, John H. Reif Arithmetic Theories for Computational Complexity Problems Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Daniel N. Osherson, Michael Stob, Scott Weinstein Aggregating Inductive Expertise Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Robert P. Daley, Carl H. Smith On the Complexity of Inductive Inference Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Nancy D. Griffeth, Michael J. Fischer, Leonidas J. Guibas Probabilistic Analysis of a Network Resource Allocation Algorithm Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1David B. MacQueen, Gordon D. Plotkin, Ravi Sethi An Ideal Model for Recursive Polymorphic Types Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Gilberto Filé Machines for Attribute Grammars Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Marek Karpinski, Rutger Verbeek On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Pekka Orponen, Uwe Schöning The Density and Complexity of Polynomial Cores for Intractable Sets. Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Jan van Leeuwen Simulation of Large Networks on Smaller Networks Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Richard Cole 0001, Uzi Vishkin Deterministic Coin Tossing with Applications to Optimal Parallel List Ranking Search on Bibsonomy Inf. Control. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Jerzy Tiuryn Preface Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bernard Chazelle How to Search in History Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Norbert Blum An Area-Maximum Edge Length Trade-off for VLSI Layout Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1J. M. Robson Alternation with Restrictions on Looping Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Uzi Vishkin Optimal Parallel Pattern Matching in Strings Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Louis E. Rosier On Simple Programs with Primitive Conditional Statements Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Marek Karpinski, Rutger Verbeek There Is No Polynomial Deterministic Space Simulation of Probabilistic Space with a Two-Way Random-Tape Generator Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1David A. Plaisted Semantic Confluence Tests and Completion Methods Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever A Proof Rule for Fair Termination of Guarded Commands Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Jacques Stern Complexity of Some Problems from the Theory of Automata Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Computing with Rewrite Systems Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Stephen A. Cook A Taxonomy of Problems with Fast Parallel Algorithms Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Dung T. Huynh The Complexity of Equivalence Problems for Commutative Grammars Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1David Harel, Rivi Sherman Propositional Dynamic Logic of Flowcharts Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Matthew Hennessy, Colin Stirling The Power of the Future Perfect in Program Logics Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Stefan Hertel, Kurt Mehlhorn Fast Triangulation of the Plane with Respect to Simple Polygons Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Michal Grabowski On Relative Completeness of Hoare Logics Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Merrick L. Furst, Richard J. Lipton, Larry J. Stockmeyer Pseudorandom Number Generation and Space Complexity Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Richard Statman Logical Relations and the Typed lambda-Calculus Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Marek Karpinski, Jan van Leeuwen Preface Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Takanori Adachi Powerposets Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou The Complexity of Cubical Graphs Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Juris Hartmanis, Neil Immerman, Vivian Sewelson Sparse Sets in NP-P: EXPTIME versus NEXPTIME Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Athanasios K. Tsakalidis AVL-Trees for Localized Search Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Wojciech Rytter Fast Recognition of Pushdown Automaton and Context-free Languages Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Louis E. Rosier The Equivalence Problem and Correctness Formulas for a Simple Class of Programs Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Zvi Galil Optimal Parallel Algorithms for String Matching Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1José L. Balcázar, Josep Díaz, Joaquim Gabarró Uniform Characterizations of Non-Uniform Complexity Measures Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Helge Szwerinski Symmetrical One-Dimensional Cellular Spaces Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola Two Complete Axiom Systems for a Theory of Communicating Sequential Processes Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Ingo Wegener The Critical Complexity of All (Monotone) Boolean Functions and Monotone Graph Properties Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Klaus Ambos-Spies Sublattices of the Polynomial Time Degrees Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1John Grant, Jack Minker Normalization and Axiomatization for Numerical Dependencies Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Greg N. Frederickson Implicit Data Structures for Weighted Elements Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Friedhelm Meyer auf der Heide Lower Time Bounds for Solving Linear Diophantine Equations on Several Parallel Computational Models Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Rüdiger Reischuk A New Solution for the Byzantine Generals Problem Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Erich L. Kaltofen Effective Hilbert Irreducibility Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Esko Ukkonen Algorithms for Approximate String Matching Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic) Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier Some Characterizations of Multihead Finite Automata Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Amihood Amir Separation in Nonlinear Time Models Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1William C. Rounds On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Andreas Blass, Yuri Gurevich, Dexter Kozen A Zero-One Law for Logic with a Fixed-Point Operator Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Ravi Kannan Unraveling k-page graphs Search on Bibsonomy Inf. Control. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1J. M. Robson Fast Probabilistic RAM Simulation of Single Tape Turing Machine Computations Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Manfred Broy Semantics of Communicating Processes Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz Compatibility and Commutativity of Lock Modes Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Paliath Narendran, Friedrich Otto, Karl Winklmann The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Harry A. G. Wijshoff, Jan van Leeuwen Arbitrary versus Periodic Storage Schemes and Tessellations of the Plane Using One Type of Polyomino Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra, Jan Willem Klop Process Algebra for Synchronous Communication Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Andrzej Ehrenfeucht, Grzegorz Rozenberg An Easy Proof of Greibach Normal Form Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1David Harel, Dexter Kozen A Programming Language for the Inductive Sets, and Applications Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Leonid A. Levin Randomness Conservation Inequalities; Information and Independence in Mathematical Theories Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla Deciding Full Branching Time Logic Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Yuri Gurevich, Harry R. Lewis A Logic for Constant-Depth Circuits Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Yishai A. Feldman A Decidable Propositional Dynamic Logic with Explicit Probabilities Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Michael G. Main, David B. Benson Functional Behvior of Nondeterministic and Concurrent Programs Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Ralph-Johan Back, Heikki Mannila A Semantic Approach to Program Modularity Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Richard Cole 0001, Chee-Keng Yap Geometric Retrieval Problems Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1628 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license