ask others

11. FCT 1997: Kraków, Poland

> Home > Conferences and Workshops > FCT

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/1997
Bogdan S. Chlebus, Ludwik Czaja:
Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings. Lecture Notes in Computer Science 1279, Springer 1997, ISBN 3-540-63386-3

Invited Lectures

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/EiterG97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/EiterG97
Thomas Eiter, Georg Gottlob:
The Complexity Class Theta₂^p: Recent Results and Applications in AI and Modal Logic. 1-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/HennickerW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/HennickerW97
Rolf Hennicker, Martin Wirsing:
Proof Systems for Struvtured Algebraic Specifications: An Overview. 19-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/LiV97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/LiV97
Ming Li, Paul M. B. Vitányi:
Average-Case Analysis via Incompressibility. 38-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Mazurkiewicz97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Mazurkiewicz97
Antoni W. Mazurkiewicz:
Locally Computable Enumerations. 51-66
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Spielman97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Spielman97
Daniel A. Spielman:
The Complexity of Error-Correcting Codes. 67-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Upfal97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Upfal97
Eli Upfal:
Stochastic Analysis of Dynamic Processes. 85-92

Technical Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/AvermiddigKO97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/AvermiddigKO97
Alfons Avermiddig, Manfred Kunde, Andre Osterloh:
k-k Sorting on the Multi-Mesh. 93-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/BestT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/BestT97
Eike Best, Thomas Thielke:
Refinement of Coloured Petri Nets. 105-116
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/BadouelD97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/BadouelD97
Eric Badouel, Philippe Darondeau:
Stratified Petri Nets. 117-128
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Calabrese97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Calabrese97
Antonio Calabrese:
Distributed Acyclic Orientation of Asynchronous Networks. 129-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/ChoffrutG97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/ChoffrutG97
Christian Choffrut, Leucio Guerra:
Generalized Rational Relations and their Logical Definability. 138-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/CiebieraM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/CiebieraM97
Krzysztof Ciebiera, Adam Malinowski:
A Note on Broadcasting with Linearly Bounded Transmission Faults in Constant Degree Networks. 150-156
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/CuckerM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/CuckerM97
Felipe Cucker, Klaus Meer:
Logics Which Capture Complexity Classes over the Reals. 157-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/DrewesKL97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/DrewesKL97
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire:
Criteria to Disprove Context-Freeness of Collage Languages. 169-178
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Frid97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Frid97
Anna E. Frid:
The Subword Complexity of Fixed Points of Binary Uniform Morphisms. 179-187
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/GasieniecI97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/GasieniecI97
Leszek Gasieniec, Piotr Indyk:
Efficient Parallel Computing with Memory Faults. 188-197
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Gruska97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Gruska97
Damas P. Gruska:
Bounded Concurrency. 198-209
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/HammarN97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/HammarN97
Mikael Hammar, Bengt J. Nilsson:
Concerning the Time Bounds of Existing Shortest Watchman Route Algorithms. 210-221
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/HemaspaandraHH97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/HemaspaandraHH97
Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Query Order in the Polynomial Hierarchy. 222-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Hertrampf97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Hertrampf97
Ulrich Hertrampf:
Polynomial Time Machines Equipped with Word Problems over Algebraic Structures as their Acceptance Criteria. 233-244
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/KarhumakiPR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KarhumakiPR97
Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter:
Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata. 245-256
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/KoppenhagenM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KoppenhagenM97
Ulla Koppenhagen, Ernst W. Mayr:
The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups. 257-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/KudlekMM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KudlekMM97
Manfred Kudlek, Solomon Marcus, Alexandru Mateescu:
Contextual Grammars with Distributed Catenation and Shuffle. 269-280
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Kuhnemann97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Kuhnemann97
Armin Kühnemann:
A Two-Dimensional Hierarchy for Attributed Tree Transducers. 281-292
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/TorreNP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/TorreNP97
Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of 1-Way Connected Processors. 293-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/LevcopoulosG97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/LevcopoulosG97
Christos Levcopoulos, Joachim Gudmundsson:
A Linear-Time Heuristic for Minimum Rectangular Coverings (Extended Abstract). 305-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Lomazova97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Lomazova97
Irina A. Lomazova:
On Occurrence Net Semantics for Petri Nets with Contacts. 317-328
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Martin97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Martin97
Bruno Martin:
Cellular Automata Universality Revisited. 329-339
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/MavronicolasP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/MavronicolasP97
Marios Mavronicolas, Nikos Papadakis:
Trade-Off Results for Connection Management. 340-351
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Nebel97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Nebel97
Markus E. Nebel:
On the Average Complexity of the Membership Problem for a Generalized Dyck Language. 352-363
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/NiedermeierRS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/NiedermeierRS97
Rolf Niedermeier, Klaus Reinhardt, Peter Sanders:
Towards Optimal Locality in Mesh-Indexings. 364-375
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Okolnishnikova97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Okolnishnikova97
Elizaveta A. Okol'nishnikova:
On the Hierarchy of Nondeterministic Branching k-Programs. 376-387
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/OttoS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/OttoS97
Friedrich Otto, Andrea Sattler-Klein:
FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems. 388-399
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Petersen97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Petersen97
Holger Petersen:
The Equivalence of Pebbles and Sensing Heads for Finite Automata. 400-410
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/RabinovichT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/RabinovichT97
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
From Finite Automata toward Hybrid Systems (Extended Abstract). 411-422
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Sadowski97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Sadowski97
Zenon Sadowski:
On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP. 423-428
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Schuierer97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Schuierer97
Sven Schuierer:
Lower Bounds in On-Line Geometric Searching. 429-440
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/StephanT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/StephanT97
Frank Stephan, Sebastiaan Terwijn:
The Complexity of Universal Text-Learners. 441-451
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Verma97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Verma97
Rakesh M. Verma:
Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps. 452-462
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/VirbitskaiteV97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/VirbitskaiteV97
Irina Virbitskaite, Anzhelika Votintseva:
Behavioural Characterizations of Partial Order Logics. 463-474

maintained by

at