4. MFCS 1975: Mariánské Lázne, Czechoslovakia
Jirí Becvár (Ed.):
Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings.
Lecture Notes in Computer Science 32 Springer 1975
Invited Lectures
Communications
- Jirí Adámek:
Automata and Categories: Finiteness Contra Minimality.
160-166
- A. V. Anisimov:
Languages Over Free Groups.
167-171
- Giorgio Ausiello, Marco Protasi:
On the Comparison of Notions of Approximation.
172-178
- M. Benesová, Ivan Korec:
Non-Linear Speed-Up Theorem for Two Register Minsky Machines.
179-185
- Eike Best, Hans Albrecht Schmid:
Systems of Open Paths in Petri Nets.
186-193
- Luc Boasson:
on the Largest Full Sub-AFL of the Full AFL of Context-Free Languages.
194-198
- Michal Chytil:
On Complexity of Nondeterministic Turing Machines Computations.
199-205
- Alexander Ja. Dikovsky:
On Closure Properties of Context-Free Derivation Complexity Classes.
206-211
- Venelin K. Evtimov:
Control Structures in Single Block Programs.
212-218
- R. V. Freivald:
Minimal Gödel Numbers and Their Identification in the Limit.
219-225
- Ferenc Gécseg:
Isomorphic Representation of Automata.
226-230
- Hartmann J. Genrich:
Extended Simple Regular Expressions.
231-237
- Giuseppina C. Gini, Maria L. Gini:
Conniver Programs by Logical Point of View.
238-245
- Jerzy W. Grzymala-Busse:
On the Set of All Automata with the Same Monoid of Endomorphisms.
246-251
- Ivan M. Havel:
Nondterministically Recognizable Sets of Languages.
252-257
- Tomás Havránek:
The Approximation Problem in Computational Statistics.
258-265
- Klaus Indermark:
The Continuous Algebra of Monadic Languages.
266-270
- Max I. Kanovic:
On Sets of Complex-Programmed Numbers.
271-272
- Marek Karpinski:
Decision Algorithms for Havel's Branching Automata.
273-279
- Václav Koubek, Jan Reiterman:
Automata and Categories - Input Processes.
280-286
- Fred Kröger:
Formalization of Algorithmic Reasoning.
287-293
- Giorgio Levi, Franco Sirovich:
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.
294-301
- Jan Maluszynski:
A Contribution to Error Recovery.
302-307
- Otto Mayer:
On the Analysis and Synthesis Problems for Context-Free Expressions.
308-314
- Kurt Mehlhorn, Zvi Galil:
Monotone Switching Circuits and Boolean Matrix Product.
315-319
- Ivan Mezník:
On Some Lattice-Theoretic Properties of Generable Languages.
320-325
- Larisa S. Modina:
On Some Formal Grammars Generating Dependency Trees.
326-329
- Peter A. Ng, Pei Hsia, Raymond T. Yeh:
Graph Walking Automata.
330-336
- Jürgen Perl:
On Finding All Solutions of the Partitioning Problem.
337-343
- Alica Pirická-Kelemenová:
Greibach Normal Form Complexity.
344-350
- Rimma I. Podlovchenko:
On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations.
351-357
- Pavel Pudlák:
Polynomially Complete Problems in the Logic of Automated Discovery.
358-361
- Vaclav Rajlich:
Relational definition of Computer Languages.
362-376
- Willem P. de Roever:
First-Order Reductions of Call-by-Name to Call-by-Value.
377-398
- Peter Ruzicka:
Local Disambiguating Transformation.
399-404
- Dan A. Simovici:
On Cardinal Sequential Outer Measures.
405-410
- Mark B. Trakhtenbrot:
On Representation of Sequential and Parallel Functions.
411-417
- G. E. Tseytlin:
The Theory of the Modified Post Algebras and Multidimensional Automata Structures.
418-425
- Raymond Turner:
An Algebraic Theory of Formal Languages.
426-431
- Mars K. Valiev:
On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups.
432-438
- Rüdiger Valk:
On the Synthesis of Automata with Several Initial States.
439-444
- Klaus W. Wagner:
A Hierarchy of Regular Sequence Sets.
445-449
- Wolfgang Wechler:
R-Fuzzy Grammars.
450-456
- Gerd Wechsung:
Characterization of Some Classes of Context-Free Languages in Terms of Complexity Classes.
457-461
- Rolf Wiehagen:
Inductive Inference of Recursive Functions.
462-464
- Józef Winkowski:
Proving Properties of Programs by Means of Predicate Logic.
465-471
- Boleslaw Wojdylo:
A Generalization of Scott's Flow Diagrams.
472-476
Copyright © Mon Dec 21 21:53:54 2009
by Michael Ley (ley@uni-trier.de)