16. MFCS 1991: Kazimierz Dolny, Poland
Andrzej Tarlecki (Ed.):
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings.
Lecture Notes in Computer Science 520 Springer 1991, ISBN 3-540-54345-7
Invited Lectures
export record as
dblp key:
export record as
dblp key:
Pierre Lescanne :
Rewrite Orderings and Termination of Rewrite Systems.
17-27
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andrzej Salwicki :
On a Hierarchy of File Types and a Tower of Their Theories.
47-63
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Staffan Bonnier :
Unification in Incompletely Specified Theories: A Case Study.
84-92
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Anton Cerný :
Generating Words by Cellular Automata.
113-120
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eric Domenjoud :
Solving Systems of Linear Diophantine Equations: An Algebraic Approach.
141-150
export record as
dblp key:
Gilles Dowek :
A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi.
151-160
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Delia Kesner :
Pattern Matching in Order-Sorted Languages.
267-276
export record as
dblp key:
Beata Konikowska :
Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.
277-286
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Claudia Leopold :
Maintaining Dictionaries in a Hierarchical Memory.
328-336
export record as
dblp key:
Christoph Meinel ,
Stephan Waack :
Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs.
337-345
export record as
dblp key:
export record as
dblp key:
M. A. Nait Abdallah :
Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning.
357-366
export record as
dblp key:
Damian Niwinski :
On the Cardinality of Sets of Infinite Trees Recognizable by Finite Automata.
367-376
export record as
dblp key:
Barbara Paech :
Extending Temporal Logic by Explicit Concurrency.
377-386
export record as
dblp key:
Ramón Pino Pérez :
An Extensional Partial Combinatory Algebra Based on Lamda-Terms.
387-396
export record as
dblp key:
Axel Poigné :
Once More on Order-Sorted Algebras.
397-405
export record as
dblp key:
export record as
dblp key:
Peter Ruzicka :
An Efficient Decision Algorithm for the Uniform Semi-Unification Problem.
415-425
export record as
dblp key: