Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rocco De Nicola |
A Complete Set of Axioms for a Theory of Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 115-126, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 177-194, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 439-444, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Hans Langmaack |
Apects of Programs With Finite Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 241-254, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Peter Drum, Detlef Wotschke |
Economy of Description for Program Schemes -Extended Abstract-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 475-486, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Ladislav Janiga, Václav Koubek |
On Languages Generated by Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 232-240, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Brandstädt, Klaus W. Wagner |
Reversal-Bounded and Visit-Bounded Realtime Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 26-39, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth W. Regan |
On Diagonalization Methods and the Structure of Language Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 368-380, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Chazelle |
How to Search in History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 52-63, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Yair Itzhaik, Amiram Yehudai |
On Containment Problems for Finite-Turn Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 219-231, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Rivi Sherman |
Propositional Dynamic Logic of Flowcharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 195-206, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Urzyczyn |
Deterministic Context-Free Dynamic Logic is More Expressive than Deterministic Dynamic Logic of Regular Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 498-504, 1983, Springer, 3-540-12689-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Janssens, Grzegorz Rozenberg |
Generating Graph Languages Using Hypergraph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 154-164, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Hans Kleine Büning |
Classes of Functions over Binary Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 199-204, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
Observability and Nerode Equivalence in Concrete C5ategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 1-15, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Steinby |
Some Algebraic Aspects of Recognizability and Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 360-372, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kortelainen |
Some Properties of Language Families Generated by Commutative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 210-217, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow |
Equality Languages and Language Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 100-109, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kaphengst |
What is Computable for Abstract Data Types? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 173-181, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | H. C. M. Kleijn, Grzegorz Rozenberg |
On the Role of Selectors in Selective Substitution Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 190-198, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Hagen Huwig |
A Definition of the P=NP-Problem in Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 146-153, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Seese |
Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 341-349, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | István Németi |
Dynamic Algebras of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 281-290, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 3-540-10854-8 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich |
Specifying Algebraic Data Types by Domain Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 120-129, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Anton Nijholt |
The Equivalence Problem for LL- and LR-Regular Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 291-300, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Merzenich |
Co-Algebras as Machines for the Interpretations of Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 250-258, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Piotr W. Prószynski |
Remarks on the Notion of Concurrency Relation in the Case of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 311-320, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Burkhard Monien |
On the LBA Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 265-280, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Bartha |
An Algebraic Defenition of Attributed Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 51-60, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Daley |
On the Error Correcting Power of Pluralism in Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 90-99, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 130-136, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 24-33, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Meinel |
About the by Codings of Environments Induced Posets [az, <=] and [Lz, <=]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 445-452, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Frank Hoffmann |
One Pebble Does Not Suffice to Search Plane Labyrinths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 433-444, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Goralcik, A. Goralciková, Václav Koubek, Vojtech Rödl |
Fast Recognition of Rings and Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 137-145, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Hal Sudborough |
Pebbling and Bandwith. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 373-383, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Hajnal Andréka, István Németi |
Some Universal Algebraic and Model Theoretic Results in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 16-23, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Ales Pultr |
On the Size of Conjunctive Representations of n-ary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 321-327, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Vinárek |
Extensions of Symmetric Hom-Functors to the Kleisli Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 394-399, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | János Demetrovics, Gyula O. H. Katona |
Extremal Combinatorial Problems in Relational Data Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 110-119, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy W. Jaromczyk |
Lower Bounds for Problems Defined by Polynomial Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 165-172, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Rozenberg |
On Subwords of Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 328-333, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | László Babai |
Moderately Exponential Bound for Graph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 34-50, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Juhani Karhumäki |
On Strongly Cube-Free Omega-Words Generated by Binary Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 182-189, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Leguy |
Reducing Algebraic Tree Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 226-233, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jan Grabowski |
An Algorithm to Identify Slices, with Applications to Vector Replacement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 425-432, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Waack |
Tape Complexity of Word Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 467-471, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | György Turán |
On Cellular Graph-Automata and Second-Order Definable Graph-Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 384-393, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | B. Csákány |
Homogenity and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 81-89, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Peter Burmeister |
Quasi-Equational Logic for Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 71-80, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Friedhelm Meyer auf der Heide, Hans-Anton Rollik |
Random Access Machines and Straight-Line Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 259-264, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Context-Free Languages of Infinite Words As Least Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 301-310, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier |
A New Operation Between Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 400-409, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Franz-Josef Brandenburg |
Analogies of PAL and COPY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 61-70, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Korte, László Lovász 0001 |
Mathematical Structures Underlying Greedy Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 205-209, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jeannine Leguy |
Rational Cone and Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 234-243, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Wlodzimierz Mostowski |
The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 453-466, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Ludek Kucera, Vera Trnková |
Isomorphism Completeness for Some Algebraic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 218-225, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger |
Logical Description of Computation Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 410-424, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Ildikó Sain |
First Order Dynamic Logic with Decidable Proofs and Workable Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 334-340, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Matti Linna |
On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 244-249, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Starke |
Processes in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981, pp. 350-359, 1981, Springer, 3-540-10854-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Günter Hotz |
Necessary decidable conditions for the word and equivalence problem of formal languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 575-576, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Dexter Kozen |
Automata and planar graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 243-254, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Rimma I. Podlovchenko |
Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 349-354, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Rainer Kemp |
The average depth of a prefix of the Dycklanguage D$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 230-236, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Peter van Emde Boas |
Complexity of linear problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 117-120, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Andrzej Lingas |
The complexity of distributive computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 262-268, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Alberto Pettorossi |
On the definition of hierarchies of infinite sequential computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 335-341, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Vera Trnková |
Machines and their behaviour in a category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 450-461, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Gerd Wechsung |
The oscillation complexity and a hierarchy of context-free languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 508-515, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Wolfgang Merzenich |
Formal algebraic equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 291-294, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Gyula Horváth |
On machine maps in categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 182-186, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Andre D. Paradis, Gabriel Thierrin |
Strong endomorphisms of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 318-324, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Przemyslaw Prusinkiewicz |
Recognizing of Chomsky classes of formal languages by two-dimensional iterative arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 355-361, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Meera Blattner, Jayashree Ramanathan |
A grammatical model for the top-down design of structured programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 71-83, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Christophe Reutenauer |
On Polya series in noncommuting variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 391-396, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Martin R. Raskovsky, Raymond Turner |
Compiler generation and denotational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 382-386, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Helmut Alt, Jan van Leeuwen |
The complexity of complex division (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 13-17, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Horst Antelmann, Lothar Budach, Hans-Anton Rollik |
Universal traps ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 25-30, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Ernest G. Manes |
Partially-additive semantics: A progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 279-290, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Michel Latteux, Jeannine Leguy |
Une propriete de la famille GRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 255-261, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Jan A. Bergstra, Jerzy Tiuryn |
Implicit definability of algebraic structures by means of program properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 58-63, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Armin Hemmerling |
Concentration of multidimensional tape-bounded systems of Turing automata and cellular spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 167-174, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | László Lovász 0001 |
On determinants, matchings, and random algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 565-574, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami |
On equivalence of safe Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 430-436, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Wolfgang J. Paul |
Kolmogorov complexity and lower bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 325-334, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | André Arnold, Bernard Leguy |
Forets de Greibach et homomorphismes inverses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 31-37, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Max Dauchet, Jocelyne Mongy |
Transformations de noyaux reconnaissables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 92-98, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Hermann K.-G. Walter |
Invariants of grammartransformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 496-507, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Akademie-Verlag, Berlin The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 18-24, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Joffroy Beauquier |
Independence of linear and one-counter generators (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 45-51, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Hans Kleine Büning |
Generalized vector addition systems with finite exception sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 237-242, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Tomasz Müldner |
On compilation of parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 295-300, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Ladislav Janiga |
Real-time computations of two-way multihead finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 214-218, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Klaus P. Jantke |
Automatic synthesis of programs and inductive inference of functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 219-225, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Hans Ulrich Simon |
Word problems for groups and contextfree recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 417-422, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki |
Analysis of vectors of coroutines by means of components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: 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., pp. 207-213, 1979, Akademie-Verlag, Berlin. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|