![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
7th FCT 1989: Szeged, Hungary
- János Csirik, János Demetrovics, Ferenc Gécseg:
Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings. Lecture Notes in Computer Science 380, Springer 1989, ISBN 3-540-51498-8 - Habib Abdulrab, Jean-Pierre Pécuchet:
On Word Equations and Makanin's Algorithm. 1-12 - Carme Àlvarez, Josep Díaz, Jacobo Torán:
Complexity Classes with Complete Problems Between P and NP-C. 13-24 - Miklós Bartha:
Interpretations of Synchronous Flowchart Schemes. 25-34 - Alberto Bertoni, Danilo Bruschi, Deborah Joseph, Meera Sitharam, Paul Young:
Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract). 35-46 - Stephen L. Bloom:
The Equational Logic of Iterative Processes. 47-57 - Hans L. Bodlaender
, Shlomo Moran, Manfred K. Warmuth:
The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case. 58-67 - Andreas Brandstädt:
The Jump Number Problem for Biconvex Graphs and Rectangle Covers of Rectangular Regions. 68-77 - Janusz A. Brzozowski, Jo C. Ebergen:
Recent Developments in the Design of Asynchronous Circuits. 78-94 - Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik:
New Simulations between CRCW PRAMs. 95-104 - Jean-Luc Coquidé, Max Dauchet, Sophie Tison
:
About Connections Between Syntactical and Computational Complexity. 105-115 - Pierluigi Crescenzi
, Alessandro Panconesi:
Completeness in Approximation Classes. 116-126 - Carsten Damm, Christoph Meinel:
Separating Completely Complexity Classes Related to Polynomial Size Omega-Decision Trees. 127-136 - Pál Dömösi, Zoltán Ésik, Balázs Imreh:
On Product Hierarchies of Automata. 137-144 - Pavol Duris, Pavel Pudlák:
On the Communication Complexity of Planarity. 145-147 - Joost Engelfriet:
Context-Free NCE Graph Grammars. 148-161 - Jean Françon, B. Randrianarimanana, René Schott:
Dynamic Data Structures with Finite Population: A Combinatorial Analysis. 162-174 - Zoltán Fülöp, Sándor Vágvölgyi:
Iterated Deterministic Top-Down Look-Ahead. 175-184 - Dominique Geniet, Loÿs Thimonier:
Using Generating Functions to Compute Concurrency. 185-196 - Ana Gil-Luezas:
A Logic for Nondeterministic Functional Programs (Extended Abstract). 197-208 - Bernd Graw:
Decision Problems and Coxeter Groups. 209-223 - Erich Grädel:
Complexity of Formula Classes in First Order Logic with Functions. 224-233 - Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen:
Normal and Sinkless Petri Nets. 234-243 - Neil Immerman:
Descriptive and Computational Complexity. 244-245 - Stasys Jukna
:
The Effect of Null-Chains on the Complexity of Contact Schemes. 246-256 - Efim B. Kinber, Thomas Zeugmann:
Monte-Carlo Inference and Its Relations to Reliable Frequency Identification. 257-266 - Ivan Korec:
Semilinear Real-Time Systolic Trellis Automata. 267-276 - Tibor Kovács:
Inducibility of the Composition of Frontier-to-Root Tree Transformations. 277-286 - Matthias Krause, Stephan Waack:
On Oblivious Branching Programs of Linear Length (Extended Abstract). 287-296 - Maciej Liskiewicz, Krzysztof Lorys:
Some Time-Space Bounds for One-Tape Deterministic Turing Machines. 297-307 - Igor Litovsky:
Rank of Rational Finitely Generated W-Languages. 308-317 - Wolfgang Maass, Theodore A. Slaman:
Extensional Properties of Sets of Time Bounded Complexity (Extended Abstract). 318-326 - Alberto Marchetti-Spaccamela
, Marco Protasi:
Learning Under Uniform Distribution. 327-338 - M. A. Nait Abdallah:
An Extended Framework for Default Reasoning. 339-348 - M. A. Nait Abdallah:
Logic Programming of Some Mathematical Paradoxes. 349-361 - Ratko Orlandic, John L. Pfaltz:
Analysis of Compact 0-Complete Trees: A New Access Method to Large Databases. 362-371 - Kai Salomaa:
Representation of Recursively Enumerable Languages Using Alternating Finite Tree Recognizers. 372-383 - Patrice Séébold:
About a Family of Binary Morphisms which Stationary Words are Sturmian. 384-394 - Helmut Seidl:
On the Finite Degree of Ambiguity of Finite Tree Automata. 395-404 - Hans Ulrich Simon
:
Approximation Algorithms for Channel Assignment in Cellular Radio Networks. 405-415 - Jerzy Skurczynski:
The Borel Hierarchy is Infinite in the Class of Regular Sets of Trees. 416-423 - Frederick N. Springsteel, Ivan Stojmenovic:
Parallel General Prefix Computations with Geometric, Algebraic and Other Applications. 424-433 - Ludwig Staiger:
Kolmogorov Complexity and Hausdorff Dimension. 434-443 - Magnus Steinby:
Tree Language Problems in Pattern Recognition Theory (Extended Abstract). 444-450 - Klaus Sutner:
The Computational Complexity of Cellular Automata. 451-459 - György Turán:
On Restricted Boolean Circuits. 460-469 - Egon Wanke:
The Complexity of Connectivity Problems on Context-Free Graph Languages (Extended Abstract). 470-479 - Klaus Weihrauch:
Constructivity, Computability, and Computational Complexity in Analysis. 480-493
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.