5. FCT 1985:
Cottbus,
Germany
Lothar Budach (Ed.):
Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985.
Lecture Notes in Computer Science 199 Springer 1985, ISBN 3-540-15689-5 BibTeX
@proceedings{DBLP:conf/fct/1985,
editor = {Lothar Budach},
title = {Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September
9-13, 1985},
booktitle = {FCT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {199},
year = {1985},
isbn = {3-540-15689-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Maris Alberts:
Space complexity of alternating Turing machines.
1-7 BibTeX
- Hajnal Andréka, Irène Guessarian, István Németi:
A unifying theorem for algebraic semantics and dynamic logics.
8-17 BibTeX
- José L. Balcázar, Josep Díaz, Joaquim Gabarró:
On some "non-uniform" complexity measures.
18-27 BibTeX
- Frank Bauernöppel, Hermann Jung:
Fast parallel vertex colouring.
28-35 BibTeX
- Danièle Beauquier:
Muller automata and bi-infinite words.
36-43 BibTeX
- Joffroy Beauquier, Loÿs Thimonier:
On formal languages, probabilities, paging and decoding algorithms.
44-52 BibTeX
- Andreas Brandstädt, Dieter Kratsch:
On the restriction of some NP-complete graph problems to permutation graphs.
53-62 BibTeX
- Alexander L. Chistov:
Fast parallel calculation of the rank of matrices over a field of arbitrary characteristic.
63-69 BibTeX
- Bogdan S. Chlebus:
Algorithms solving path systems.
70-79 BibTeX
- Max Dauchet, Sophie Tison:
Decidability of confluence for ground term rewriting systems.
80-89 BibTeX
- Paul E. Dunne:
Lower bounds on the complexity of 1-time only branching programs.
90-99 BibTeX
- Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
On coordinated rewriting.
100-111 BibTeX
- Philippe Flajolet:
Elements of a general theory of combinatorial structures.
112-127 BibTeX
- Marie-Paule Flé, Gérard Roucairol:
A language theoretic approach to serialization problem in concurrent systems.
128-145 BibTeX
- Gudmund Skovbjerg Frandsen:
Logic programming and substitutions.
146-158 BibTeX
- Thomas Gundermann:
A lower bound on the oscillation complexity of context-free languages.
159-166 BibTeX
- Hermann Jung:
Depth efficient transformations of arithmetic into Boolean circuits.
167-174 BibTeX
- Rainer Kemp:
Free cost measures of trees.
175-190 BibTeX
- A. D. Korshunov:
Discrete extremal problems on covering.
191-207 BibTeX
- Václav Koubek, Jana Krsnakova:
Parallel algorithms for connected components in a graph.
208-217 BibTeX
- Ivan Kramosil:
Statistical testing of finite sequences based on algorithmic complexity.
218-226 BibTeX
- Klaus Kriegel, Stephan Waack:
Lower bounds for Boolean formulae of depth 3 and the topology of the n-cube (preliminary version).
227-233 BibTeX
- Mirko Krivánek, Jaroslav Morávek:
Clustering to minimize the sum of volumes of convex hulls of clusters is NP-complete.
234-241 BibTeX
- Mirko Krivánek, Jaroslav Morávek:
Linear comparison complexity of the n-cube membership problem.
242-248 BibTeX
- Klaus-Jörn Lange, Emo Welzl:
String grammars with disconnecting.
249-256 BibTeX
- Jan van Leeuwen, Jirí Wiedermann:
Array processing machines.
257-268 BibTeX
- Christos Levcopoulos:
A fast heuristic for covering polygons by rectangles.
269-278 BibTeX
- G. S. Makanin:
On the decidability of the theory of free groups (in Russian).
279-284 BibTeX
- Stuart W. Margolis, Jean-Eric Pin:
Products of group languages.
285-299 BibTeX
- Burkhard Monien:
The complexity of embedding graphs into binary trees.
300-309 BibTeX
- M. A. Nait Abdallah:
On some topological properties of logic programs.
310-319 BibTeX
- Evelyn Nelson:
Recent results on continuous ordered algebras.
320-330 BibTeX
- R. G. Nigmatullin:
Are lower bounds on the complexity lower bounds for universal circuits.
331-340 BibTeX
- John H. Reif:
Probabilistic algorithms in group theory.
341-350 BibTeX
- Christophe Reutenauer:
Recent results on codes.
351-360 BibTeX
- Louis E. Rosier, Hsu-Chun Yen:
A multiparameter analysis of the boundedness problem for vector addition systems.
361-370 BibTeX
- Brigitte Rozoy:
About two-way transducers.
371-379 BibTeX
- Wojciech Rytter:
Parallel time O(log n) recognition of unambiguous CFLs.
380-389 BibTeX
- Horst Sachs:
On colour critical graphs.
390-401 BibTeX
- Patrice Séébold:
Generalized Thue-Morse sequences.
402-411 BibTeX
- Detlef Seese:
Tree-partite graphs and the complexity of algorithms.
412-421 BibTeX
- Helmut Seidl:
A quadratic regularity test for non-deleting macro S grammars.
422-430 BibTeX
- Andrzej Tarlecki, Martin Wirsing:
Continuous abstract data types: basic machinery and results.
431-441 BibTeX
- Valery A. Vardanian:
On the length of single dynamic tests for monotone Boolean functions.
442-449 BibTeX
- Gérard Viennot:
Enumerative combinatorics and algebraic languages.
450-464 BibTeX
- Lutz Voelkel:
On several kinds of space-bounded on-line multicounter automata.
465-473 BibTeX
- Heiko Vogler:
Iterated linear control and iterated one-turn pushdowns.
474-483 BibTeX
- Gerd Wechsung:
On the Boolean closure of NP.
485-493 BibTeX
- Ingo Wegener:
The critical complexity of all (monotone) Boolean functions and monotone graph properties.
494-502 BibTeX
- Th. Zink:
Degeneration of Shimura surfaces and a problem in coding theory.
503-511 BibTeX
- Solomon Passy, Tinko Tinchev:
Quantifiers in combinatory PDL: completeness, definability, incompleteness.
512-519 BibTeX
- Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Partial ordering derivations for CCS.
520-533 BibTeX
- Kurt Mehlhorn, Klaus Simon:
Intersecting two polyhedra one of which is convex.
534-542 BibTeX
Copyright © Sat May 16 23:11:57 2009
by Michael Ley (ley@uni-trier.de)