7. MFCS 1978: Zakopane, Poland

Józef Winkowski (Ed.): Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Lecture Notes in Computer Science 64 Springer 1978 BibTeX

@proceedings{DBLP:conf/mfcs/1978,
  editor    = {J{\'o}zef Winkowski},
  title     = {Mathematical Foundations of Computer Science 1978, Proceedings,
               7th Symposium, Zakopane, Poland, September 4-8, 1978},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {64},
  year      = {1978},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Peter van Emde Boas: The Connection between Modal Logic and Algorithmic Logic. 1-15 BibTeX
Bruno Courcelle, Maurice Nivat: The Algebraic Semantics of Recursive Program Schemes. 16-30 BibTeX
Edsger W. Dijkstra: Finding the Correctness Proof of a Concurrent Program. 31-38 BibTeX
Vadim E. Kotov: An Algebra for Parallelism Based on Petri Nets. 39-55 BibTeX
Brian H. Mayoh: Data Types as Functions. 56-70 BibTeX
Robin Milner: Synthesis of Communicating Behaviour. 71-83 BibTeX
Eric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. 84-101 BibTeX

Communications

Mikhail Auguston: Writing and Verifying Sequential Files Updating Programs. 102-111 BibTeX
François Bancilhon: On the Completeness of Query Languages for Relational Data Bases. 112-123 BibTeX
Gerhard Barth: Mastering Contextsensitivity in Programming Languages. 124-133 BibTeX
Jan A. Bergstra: Decision Problems Concerning Parallel Programming. 134-142 BibTeX
Piotr Dembinski, Jan Maluszynski: Attribute Grammars and Two-Level Grammars: A Unifying Approach. 143-154 BibTeX
Hans-Dieter Ehrich: Extensions and Implementations of Abstract Data Type Specifications. 155-164 BibTeX
Hartmut Ehrig, Barry K. Rosen: Concurrency of Manipulations in Multidimensional Information Structures. 165-176 BibTeX
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. 177-190 BibTeX
Nissim Francez, C. A. R. Hoare, Willem P. de Roever: Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). 191-200 BibTeX
Georges Gardarin: Contribution to the Theory of Concurrency in Databases. 201-212 BibTeX
Hartmann J. Genrich, Kurt Lautenbach: Facts in Place/Transition-Nets. 213-231 BibTeX
Bernhard Goetze, Werner Nehrlich: Loop Programs and Classes of Primitive Recursive Functions. 232-238 BibTeX
Michal Grabowski, Antoni Kreczmar: Dynamic Theories of Real and Complex Numbers. 239-249 BibTeX
Dima Grigoriev: Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial Multiplication. 250-256 BibTeX
Irène Guessarian: Some Applications of Algebraic Semantics. 257-266 BibTeX
Christopher J. Hogger: Goal-Oriented Derivation of Logic Programs. 267-276 BibTeX
Jacek Irlik: Transforming Recursive Equations to Algorithms. 277-285 BibTeX
Gérard Jacob: Structural Invariants for Some Classes of Structured Programs. 286-297 BibTeX
Ryszard Janicki: Synthesis of Concurrent Schemes. 298-307 BibTeX
Reinhard Klette: Fast Matrix Multiplication by Boolean RAM in Linear Storage. 308-314 BibTeX
Elöd Knuth: Cycles of Partial Orders. 315-325 BibTeX
Gerhard Lischke: Complexity Measures Defined by Mazurkiewicz-Algorithms. 326-332 BibTeX
Leon Lukaszewicz: On Functional Grammars. 333-344 BibTeX
George Markowsky, Larry Carter, Mark N. Wegman: Analysis of a Universal Class of Hash Functions. 345-354 BibTeX
Otto Mayer: A Framework for Producing Deterministic Canonical Bottom-up Parsers. 355-363 BibTeX
Robert Meersman, Grzegorz Rozenberg: Cooperating Grammar Systems. 364-373 BibTeX
M. Moalla, Jacques Pulou, Joseph Sifakis: Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. 374-384 BibTeX
V. A. Nepomniaschy: On Divergence and Halting Problems for Monadic Program Schemas. 385-392 BibTeX
Olli Nevalainen, Matti Jakobsson, R. Berg: Compression of Clustered Inverted Files. 393-402 BibTeX
Rohit Parikh: The Completeness of Propositional Dynamic Logic. 403-415 BibTeX
Alberto Pettorossi: Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract). 416-425 BibTeX
Jan Pittl: On Two Subclasses of Real-Time Grammars. 426-435 BibTeX
Zbigniew W. Ras: On Information Storage and Retrieval Systems: An Algebraic Approach, Part I. 436-441 BibTeX
N. Saheb-Djahromi: Probabilistic LCF. 442-451 BibTeX
Andrzej Salwicki: On Algorithmic Theory of Stacks. 452-461 BibTeX
Michael Schiffers, Horst Wedde: Analyzing Program Solutions of Coordination problems by CP-Nets. 462-473 BibTeX
Joseph Sifakis: Structural Properties of Petri Nets. 474-483 BibTeX
Michel Sintzoff: Ensuring Correctness by Arbitrary Postfixed-Points. 484-492 BibTeX
A. O. Slisenko: String-Matching in Real Time: Some Properties of the Data Structure. 493-496 BibTeX
Nicolas Spyratos, François Bancilhon: Name Independence and Database Abstraction in the Relational Model. 497-505 BibTeX
Peter H. Starke: Free Petri Net Languages. 506-515 BibTeX
Esko Ukkonen: Tranformations to Produce Certain Covering Grammars. 516-525 BibTeX
Rüdiger Valk: On the Computational Power of Extended Petri Nets. 526-535 BibTeX
Jorma Rissanen: Theory of Relations for Databases - A Tutorial Survey. 536-551 BibTeX