| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rocco De Nicola |
A Complete Set of Axioms for a Theory of Communicating Sequential Processes.  |
FCT  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Ulrich Simon |
A Tight Omega(loglog n)-Bound on the Time for Parallel Ram's to Compute Nondegenerated Boolean Functions. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Langmaack |
Apects of Programs With Finite Modes. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Drum, Detlef Wotschke |
Economy of Description for Program Schemes -Extended Abstract-. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladislav Janiga, Václav Koubek |
On Languages Generated by Semigroups. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Brandstädt, Klaus W. Wagner |
Reversal-Bounded and Visit-Bounded Realtime Computations. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth W. Regan |
On Diagonalization Methods and the Structure of Language Classes. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Chazelle |
How to Search in History. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Itzhaik, Amiram Yehudai |
On Containment Problems for Finite-Turn Languages (Extended Abstract). |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Rivi Sherman |
Propositional Dynamic Logic of Flowcharts. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Urzyczyn |
Deterministic Context-Free Dynamic Logic is More Expressive than Deterministic Dynamic Logic of Regular Programs. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Janssens, Grzegorz Rozenberg |
Generating Graph Languages Using Hypergraph Grammars. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Kleine Büning |
Classes of Functions over Binary Trees. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek |
Observability and Nerode Equivalence in Concrete C5ategories. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Steinby |
Some Algebraic Aspects of Recognizability and Rationality. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kortelainen |
Some Properties of Language Families Generated by Commutative Languages. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow |
Equality Languages and Language Families. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Kaphengst |
What is Computable for Abstract Data Types? |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | H. C. M. Kleijn, Grzegorz Rozenberg |
On the Role of Selectors in Selective Substitution Grammars. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagen Huwig |
A Definition of the P=NP-Problem in Categories. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Seese |
Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | István Németi |
Dynamic Algebras of Programs. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferenc Gécseg (eds.) |
Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich |
Specifying Algebraic Data Types by Domain Equations. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Nijholt |
The Equivalence Problem for LL- and LR-Regular Grammars. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Merzenich |
Co-Algebras as Machines for the Interpretations of Flow Diagrams. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr W. Prószynski |
Remarks on the Notion of Concurrency Relation in the Case of Systems. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhard Monien |
On the LBA Problem. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Miklós Bartha |
An Algebraic Defenition of Attributed Transformations. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Daley |
On the Error Correcting Power of Pluralism in Inductive Inference. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ausiello, Alberto Marchetti-Spaccamela, Marco Protasi |
Probabilistic Analysis of the Performance of Greedy Strategies over Different Classes of Combinatorial Problems. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Meinel |
About the by Codings of Environments Induced Posets [az, <=] and [Lz, <=]. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hoffmann |
One Pebble Does Not Suffice to Search Plane Labyrinths. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Goralcik, A. Goralciková, Václav Koubek, Vojtech Rödl |
Fast Recognition of Rings and Lattices. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Hal Sudborough |
Pebbling and Bandwith. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajnal Andréka, István Németi |
Some Universal Algebraic and Model Theoretic Results in Computer Science. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Pultr |
On the Size of Conjunctive Representations of n-ary Relations. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Vinárek |
Extensions of Symmetric Hom-Functors to the Kleisli Category. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | János Demetrovics, Gyula O. H. Katona |
Extremal Combinatorial Problems in Relational Data Base. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy W. Jaromczyk |
Lower Bounds for Problems Defined by Polynomial Inequalities. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg |
On Subwords of Formal Languages. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | László Babai |
Moderately Exponential Bound for Graph Isomorphism. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
On Strongly Cube-Free Omega-Words Generated by Binary Morphisms. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Leguy |
Reducing Algebraic Tree Grammars. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Grabowski |
An Algorithm to Identify Slices, with Applications to Vector Replacement Systems. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Waack |
Tape Complexity of Word Problems. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | György Turán |
On Cellular Graph-Automata and Second-Order Definable Graph-Properties. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Csákány |
Homogenity and Completeness. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Burmeister |
Quasi-Equational Logic for Partial Algebras. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedhelm Meyer auf der Heide, Hans-Anton Rollik |
Random Access Machines and Straight-Line Programs. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
Context-Free Languages of Infinite Words As Least Fixpoints. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Joffroy Beauquier |
A New Operation Between Languages. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz-Josef Brandenburg |
Analogies of PAL and COPY. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Korte, László Lovász 0001 |
Mathematical Structures Underlying Greedy Algorithms. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannine Leguy |
Rational Cone and Substitution. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Wlodzimierz Mostowski |
The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludek Kucera, Vera Trnková |
Isomorphism Completeness for Some Algebraic Structures. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Logical Description of Computation Processes. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ildikó Sain |
First Order Dynamic Logic with Decidable Proofs and Workable Model Theory. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Linna |
On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Starke |
Processes in Petri Nets. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Necessary decidable conditions for the word and equivalence problem of formal languages. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Dexter Kozen |
Automata and planar graphs. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Rimma I. Podlovchenko |
Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Rainer Kemp |
The average depth of a prefix of the Dycklanguage D$. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Peter van Emde Boas |
Complexity of linear problems. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Lingas |
The complexity of distributive computations. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Alberto Pettorossi |
On the definition of hierarchies of infinite sequential computations. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Vera Trnková |
Machines and their behaviour in a category. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Gerd Wechsung |
The oscillation complexity and a hierarchy of context-free languages. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Merzenich |
Formal algebraic equations. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Gyula Horváth |
On machine maps in categories. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Andre D. Paradis, Gabriel Thierrin |
Strong endomorphisms of automata. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Przemyslaw Prusinkiewicz |
Recognizing of Chomsky classes of formal languages by two-dimensional iterative arrays. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Meera Blattner, Jayashree Ramanathan |
A grammatical model for the top-down design of structured programs. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Christophe Reutenauer |
On Polya series in noncommuting variables. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Martin R. Raskovsky, Raymond Turner |
Compiler generation and denotational semantics. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Helmut Alt, Jan van Leeuwen |
The complexity of complex division (extended abstract). |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Horst Antelmann, Lothar Budach, Hans-Anton Rollik |
Universal traps |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Ernest G. Manes |
Partially-additive semantics: A progress report. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Michel Latteux, Jeannine Leguy |
Une propriete de la famille GRE. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Implicit definability of algebraic structures by means of program properties. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Armin Hemmerling |
Concentration of multidimensional tape-bounded systems of Turing automata and cellular spaces. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | László Lovász 0001 |
On determinants, matchings, and random algorithms. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami |
On equivalence of safe Petri nets. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang J. Paul |
Kolmogorov complexity and lower bounds. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | André Arnold, Bernard Leguy |
Forets de Greibach et homomorphismes inverses. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Max Dauchet, Jocelyne Mongy |
Transformations de noyaux reconnaissables. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Hermann K.-G. Walter |
Invariants of grammartransformations. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Lothar Budach (eds.) |
Fundamentals of Computation Theory, FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Hajnal Andréka, István Németi, Ildikó Sain |
Henkin-type semantics for program-schemes to turn negative results to positive. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Joffroy Beauquier |
Independence of linear and one-counter generators (extended abstract). |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Hans Kleine Büning |
Generalized vector addition systems with finite exception sets. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Müldner |
On compilation of parallel programs. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Ladislav Janiga |
Real-time computations of two-way multihead finite automata. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Klaus P. Jantke |
Automatic synthesis of programs and inductive inference of functions. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Hans Ulrich Simon |
Word problems for groups and contextfree recognition. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Analysis of vectors of coroutines by means of components. |
FCT |
1979 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license