Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfcs/mfcs78.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/Auguston78,
author = {Mikhail Auguston},
editor = {J{\'{o}}zef Winkowski},
title = {Writing and Verifying Sequential Files Updating Programs},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {102--111},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_59},
doi = {10.1007/3-540-08921-7\_59},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Auguston78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bancilhon78,
author = {Fran{\c{c}}ois Bancilhon},
editor = {J{\'{o}}zef Winkowski},
title = {On the Completeness of Query Languages for Relational Data Bases},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {112--123},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_60},
doi = {10.1007/3-540-08921-7\_60},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bancilhon78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Barth78,
author = {Gerhard Barth},
editor = {J{\'{o}}zef Winkowski},
title = {Mastering Contextsensitivity in Programming Languages},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {124--133},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_61},
doi = {10.1007/3-540-08921-7\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Barth78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bergstra78,
author = {Jan A. Bergstra},
editor = {J{\'{o}}zef Winkowski},
title = {Decision Problems Concerning Parallel Programming},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {134--142},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_62},
doi = {10.1007/3-540-08921-7\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bergstra78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Boas78,
author = {Peter van Emde Boas},
editor = {J{\'{o}}zef Winkowski},
title = {The Connection between Modal Logic and Algorithmic Logic},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {1--15},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_52},
doi = {10.1007/3-540-08921-7\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Boas78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CourcelleN78,
author = {Bruno Courcelle and
Maurice Nivat},
editor = {J{\'{o}}zef Winkowski},
title = {The Algebraic Semantics of Recursive Program Schemes},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {16--30},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_53},
doi = {10.1007/3-540-08921-7\_53},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CourcelleN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DembinskiM78,
author = {Piotr Dembinski and
Jan Maluszynski},
editor = {J{\'{o}}zef Winkowski},
title = {Attribute Grammars and Two-Level Grammars: {A} Unifying Approach},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {143--154},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_63},
doi = {10.1007/3-540-08921-7\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DembinskiM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dijkstra78,
author = {Edsger W. Dijkstra},
editor = {J{\'{o}}zef Winkowski},
title = {Finding the Correctness Proof of a Concurrent Program},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {31--38},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_54},
doi = {10.1007/3-540-08921-7\_54},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dijkstra78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ehrich78,
author = {Hans{-}Dieter Ehrich},
editor = {J{\'{o}}zef Winkowski},
title = {Extensions and Implementations of Abstract Data Type Specifications},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {155--164},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_64},
doi = {10.1007/3-540-08921-7\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ehrich78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigKMW78,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Andrea Maggiolo{-}Schettini and
Barry K. Rosen and
J{\'{o}}zef Winkowski},
editor = {J{\'{o}}zef Winkowski},
title = {Deriving Structures from Structures},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {177--190},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_66},
doi = {10.1007/3-540-08921-7\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigKMW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigR78,
author = {Hartmut Ehrig and
Barry K. Rosen},
editor = {J{\'{o}}zef Winkowski},
title = {Concurrency of Manipulations in Multidimensional Information Structures},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {165--176},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_65},
doi = {10.1007/3-540-08921-7\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FrancezHR78,
author = {Nissim Francez and
C. A. R. Hoare and
Willem P. de Roever},
editor = {J{\'{o}}zef Winkowski},
title = {Semantics of Nondeterminism, Concurrency and Communication (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {191--200},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_67},
doi = {10.1007/3-540-08921-7\_67},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FrancezHR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gardarin78,
author = {Georges Gardarin},
editor = {J{\'{o}}zef Winkowski},
title = {Contribution to the Theory of Concurrency in Databases},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {201--212},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_68},
doi = {10.1007/3-540-08921-7\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Gardarin78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GenrichL78,
author = {Hartmann J. Genrich and
Kurt Lautenbach},
editor = {J{\'{o}}zef Winkowski},
title = {Facts in Place/Transition-Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {213--231},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_69},
doi = {10.1007/3-540-08921-7\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GenrichL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoetzeN78,
author = {Bernhard G. Goetze and
Werner Nehrlich},
editor = {J{\'{o}}zef Winkowski},
title = {Loop Programs and Classes of Primitive Recursive Functions},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {232--238},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_70},
doi = {10.1007/3-540-08921-7\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoetzeN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GrabowskiK78,
author = {Michal Grabowski and
Antoni Kreczmar},
editor = {J{\'{o}}zef Winkowski},
title = {Dynamic Theories of Real and Complex Numbers},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {239--249},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_71},
doi = {10.1007/3-540-08921-7\_71},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GrabowskiK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grigoriev78,
author = {Dima Grigoriev},
editor = {J{\'{o}}zef Winkowski},
title = {Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial
Multiplication},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {250--256},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_72},
doi = {10.1007/3-540-08921-7\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grigoriev78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Guessarian78,
author = {Ir{\`{e}}ne Guessarian},
editor = {J{\'{o}}zef Winkowski},
title = {Some Applications of Algebraic Semantics},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {257--266},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_73},
doi = {10.1007/3-540-08921-7\_73},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Guessarian78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hogger78,
author = {Christopher J. Hogger},
editor = {J{\'{o}}zef Winkowski},
title = {Goal-Oriented Derivation of Logic Programs},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {267--276},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_74},
doi = {10.1007/3-540-08921-7\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hogger78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Irlik78,
author = {Jacek Irlik},
editor = {J{\'{o}}zef Winkowski},
title = {Transforming Recursive Equations to Algorithms},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {277--285},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_75},
doi = {10.1007/3-540-08921-7\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Irlik78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jacob78,
author = {G{\'{e}}rard Jacob},
editor = {J{\'{o}}zef Winkowski},
title = {Structural Invariants for Some Classes of Structured Programs},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {286--297},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_76},
doi = {10.1007/3-540-08921-7\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jacob78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Janicki78,
author = {Ryszard Janicki},
editor = {J{\'{o}}zef Winkowski},
title = {Synthesis of Concurrent Schemes},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {298--307},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_77},
doi = {10.1007/3-540-08921-7\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Janicki78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Klette78,
author = {Reinhard Klette},
editor = {J{\'{o}}zef Winkowski},
title = {Fast Matrix Multiplication by Boolean {RAM} in Linear Storage},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {308--314},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_78},
doi = {10.1007/3-540-08921-7\_78},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Klette78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Knuth78,
author = {El{\"{o}}d Knuth},
editor = {J{\'{o}}zef Winkowski},
title = {Cycles of Partial Orders},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {315--325},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_79},
doi = {10.1007/3-540-08921-7\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Knuth78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kotov78,
author = {Vadim E. Kotov},
editor = {J{\'{o}}zef Winkowski},
title = {An Algebra for Parallelism Based on Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {39--55},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_55},
doi = {10.1007/3-540-08921-7\_55},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kotov78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lischke78,
author = {Gerhard Lischke},
editor = {J{\'{o}}zef Winkowski},
title = {Complexity Measures Defined by Mazurkiewicz-Algorithms},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {326--332},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_80},
doi = {10.1007/3-540-08921-7\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lischke78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lukaszewicz78,
author = {Leon Lukaszewicz},
editor = {J{\'{o}}zef Winkowski},
title = {On Functional Grammars},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {333--344},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_81},
doi = {10.1007/3-540-08921-7\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lukaszewicz78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MakowskyCW78,
author = {George Markowsky and
Larry Carter and
Mark N. Wegman},
editor = {J{\'{o}}zef Winkowski},
title = {Analysis of a Universal Class of Hash Functions},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {345--354},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_82},
doi = {10.1007/3-540-08921-7\_82},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MakowskyCW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mayer78,
author = {Otto Mayer},
editor = {J{\'{o}}zef Winkowski},
title = {A Framework for Producing Deterministic Canonical Bottom-up Parsers},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {355--363},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_83},
doi = {10.1007/3-540-08921-7\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mayer78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mayoh78,
author = {Brian H. Mayoh},
editor = {J{\'{o}}zef Winkowski},
title = {Data Types as Functions},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {56--70},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_56},
doi = {10.1007/3-540-08921-7\_56},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mayoh78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MeersmanR78,
author = {Robert Meersman and
Grzegorz Rozenberg},
editor = {J{\'{o}}zef Winkowski},
title = {Cooperating Grammar Systems},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {364--373},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_84},
doi = {10.1007/3-540-08921-7\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MeersmanR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Milner78,
author = {Robin Milner},
editor = {J{\'{o}}zef Winkowski},
title = {Synthesis of Communicating Behaviour},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {71--83},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_57},
doi = {10.1007/3-540-08921-7\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Milner78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MoallaPS78,
author = {M. Moalla and
Jacques Pulou and
Joseph Sifakis},
editor = {J{\'{o}}zef Winkowski},
title = {Synchronized Petri Nets: {A} Model for the Description of Non-Autonomous
Systems},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {374--384},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_85},
doi = {10.1007/3-540-08921-7\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MoallaPS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nepomniaschy78,
author = {Valery A. Nepomniaschy},
editor = {J{\'{o}}zef Winkowski},
title = {On Divergence and Halting Problems for Monadic Program Schemas},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {385--392},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_86},
doi = {10.1007/3-540-08921-7\_86},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Nepomniaschy78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NevalainenJB78,
author = {Olli Nevalainen and
Matti Jakobsson and
R. Berg},
editor = {J{\'{o}}zef Winkowski},
title = {Compression of Clustered Inverted Files},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {393--402},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_87},
doi = {10.1007/3-540-08921-7\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NevalainenJB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Parikh78,
author = {Rohit Parikh},
editor = {J{\'{o}}zef Winkowski},
title = {The Completeness of Propositional Dynamic Logic},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {403--415},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_88},
doi = {10.1007/3-540-08921-7\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Parikh78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pettorossi78,
author = {Alberto Pettorossi},
editor = {J{\'{o}}zef Winkowski},
title = {Improving Memory Utilization in Transforming Recursive Programs (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {416--425},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_89},
doi = {10.1007/3-540-08921-7\_89},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Pettorossi78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pittl78,
author = {Jan Pittl},
editor = {J{\'{o}}zef Winkowski},
title = {On Two Subclasses of Real-Time Grammars},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {426--435},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_90},
doi = {10.1007/3-540-08921-7\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pittl78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ras78,
author = {Zbigniew W. Ras},
editor = {J{\'{o}}zef Winkowski},
title = {On Information Storage and Retrieval Systems: An Algebraic Approach,
Part {I}},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {436--441},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_91},
doi = {10.1007/3-540-08921-7\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ras78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rissanen78,
author = {Jorma Rissanen},
editor = {J{\'{o}}zef Winkowski},
title = {Theory of Relations for Databases - {A} Tutorial Survey},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {536--551},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_102},
doi = {10.1007/3-540-08921-7\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rissanen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Saheb-Djahromi78,
author = {Nasser Saheb{-}Djahromi},
editor = {J{\'{o}}zef Winkowski},
title = {Probabilistic {LCF}},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {442--451},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_92},
doi = {10.1007/3-540-08921-7\_92},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Saheb-Djahromi78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Salwicki78,
author = {Andrzej Salwicki},
editor = {J{\'{o}}zef Winkowski},
title = {On Algorithmic Theory of Stacks},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {452--461},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_93},
doi = {10.1007/3-540-08921-7\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Salwicki78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SchiffersW78,
author = {Michael Schiffers and
Horst F. Wedde},
editor = {J{\'{o}}zef Winkowski},
title = {Analyzing Program Solutions of Coordination problems by CP-Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {462--473},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_94},
doi = {10.1007/3-540-08921-7\_94},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/SchiffersW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sifakis78,
author = {Joseph Sifakis},
editor = {J{\'{o}}zef Winkowski},
title = {Structural Properties of Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {474--483},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_95},
doi = {10.1007/3-540-08921-7\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sifakis78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sintzoff78,
author = {Michel Sintzoff},
editor = {J{\'{o}}zef Winkowski},
title = {Ensuring Correctness by Arbitrary Postfixed-Points},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {484--492},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_96},
doi = {10.1007/3-540-08921-7\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sintzoff78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Slisenko78,
author = {A. O. Slisenko},
editor = {J{\'{o}}zef Winkowski},
title = {String-Matching in Real Time: Some Properties of the Data Structure},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {493--496},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_97},
doi = {10.1007/3-540-08921-7\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Slisenko78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SpyratosB78,
author = {Nicolas Spyratos and
Fran{\c{c}}ois Bancilhon},
editor = {J{\'{o}}zef Winkowski},
title = {Name Independence and Database Abstraction in the Relational Model},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {497--505},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_98},
doi = {10.1007/3-540-08921-7\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/SpyratosB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Starke78,
author = {Peter H. Starke},
editor = {J{\'{o}}zef Winkowski},
title = {Free Petri Net Languages},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {506--515},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_99},
doi = {10.1007/3-540-08921-7\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Starke78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ukkonen78,
author = {Esko Ukkonen},
editor = {J{\'{o}}zef Winkowski},
title = {Tranformations to Produce Certain Covering Grammars},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {516--525},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_100},
doi = {10.1007/3-540-08921-7\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ukkonen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Valk78,
author = {R{\"{u}}diger Valk},
editor = {J{\'{o}}zef Winkowski},
title = {On the Computational Power of Extended Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {526--535},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_101},
doi = {10.1007/3-540-08921-7\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Valk78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WagnerTW78,
author = {Eric G. Wagner and
James W. Thatcher and
Jesse B. Wright},
editor = {J{\'{o}}zef Winkowski},
title = {Programming Languages as Mathematical Objects},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {84--101},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_58},
doi = {10.1007/3-540-08921-7\_58},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WagnerTW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {64},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7},
doi = {10.1007/3-540-08921-7},
isbn = {0-387-08921-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-27 06:56 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
