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