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/mfcs81.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/AltMM81,
author = {Helmut Alt and
Kurt Mehlhorn and
J. Ian Munro},
editor = {Jozef Gruska and
Michal Chytil},
title = {Partial Match Retrieval in Implicit Data Structures},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {156--161},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_81},
doi = {10.1007/3-540-10856-4\_81},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AltMM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AndrekaNS81,
author = {Hajnal Andr{\'{e}}ka and
Istv{\'{a}}n N{\'{e}}meti and
Ildik{\'{o}} Sain},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Characterization of Floyd-Provable Programs},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {162--171},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_82},
doi = {10.1007/3-540-10856-4\_82},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AndrekaNS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoZ81,
author = {Egidio Astesiano and
Elena Zucca},
editor = {Jozef Gruska and
Michal Chytil},
title = {Semantics of {CSP} via Translation into {CCS}},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {172--182},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_83},
doi = {10.1007/3-540-10856-4\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoZ81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeauquierB81,
author = {Joffroy Beauquier and
Jean Berstel},
editor = {Jozef Gruska and
Michal Chytil},
title = {More about the "Geography" of Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {183--192},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_84},
doi = {10.1007/3-540-10856-4\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BeauquierB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BentleyO81,
author = {Jon Louis Bentley and
Thomas Ottmann},
editor = {Jozef Gruska and
Michal Chytil},
title = {The Complexity of Manipulating Hierarchically Defined Sets of Rectangles},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {1--15},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_70},
doi = {10.1007/3-540-10856-4\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BentleyO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BergstraBTW81,
author = {Jan A. Bergstra and
Manfred Broy and
John V. Tucker and
Martin Wirsing},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Power of Algebraic Specifications},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {193--204},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_85},
doi = {10.1007/3-540-10856-4\_85},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BergstraBTW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BertoniBMS81,
author = {Alberto Bertoni and
Marco Brambilla and
Giancarlo Mauri and
Nicoletta Sabadini},
editor = {Jozef Gruska and
Michal Chytil},
title = {An Application of the Theory of Free Partially Commutative Monoids:
Asymptotic Densities of Trace Languages},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {205--215},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_86},
doi = {10.1007/3-540-10856-4\_86},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BertoniBMS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BookJMOW81,
author = {Ronald V. Book and
Matthias Jantzen and
Burkhard Monien and
Colm {\'{O}}'D{\'{u}}nlaing and
Celia Wrathall},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Complexity of Word Problems in Certain Thue Systems (Preliminary
Report)},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {216--223},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_87},
doi = {10.1007/3-540-10856-4\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BookJMOW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Brandenburg81,
author = {Franz{-}Josef Brandenburg},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Tranformation of Derivation Graphs to Derivation Trees (Preliminary
Report)},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {224--233},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_88},
doi = {10.1007/3-540-10856-4\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Brandenburg81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Brandstadt81,
author = {Andreas Brandst{\"{a}}dt},
editor = {Jozef Gruska and
Michal Chytil},
title = {Pushdown Automata with Restricted Use of Storage Symbols},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {234--241},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_89},
doi = {10.1007/3-540-10856-4\_89},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Brandstadt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Budach81,
author = {Lothar Budach},
editor = {Jozef Gruska and
Michal Chytil},
title = {Two Pebbles Don't Suffice},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {578--589},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_126},
doi = {10.1007/3-540-10856-4\_126},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Budach81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CherkasovaK81,
author = {Ludmila Cherkasova and
Vadim E. Kotov},
editor = {Jozef Gruska and
Michal Chytil},
title = {Structured Nets},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {242--251},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_90},
doi = {10.1007/3-540-10856-4\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CherkasovaK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Daley81,
author = {Robert P. Daley},
editor = {Jozef Gruska and
Michal Chytil},
title = {Retraceability, Repleteness and Busy Beaver Sets},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {252--261},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_91},
doi = {10.1007/3-540-10856-4\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Daley81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DammG81,
author = {Werner Damm and
Ir{\`{e}}ne Guessarian},
editor = {Jozef Gruska and
Michal Chytil},
title = {Combining {T} and level-N},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {262--270},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_92},
doi = {10.1007/3-540-10856-4\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DammG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ehrich81,
author = {Hans{-}Dieter Ehrich},
editor = {Jozef Gruska and
Michal Chytil},
title = {On Realization and Implementation},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {271--280},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_93},
doi = {10.1007/3-540-10856-4\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ehrich81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ershov81,
author = {Andrei P. Ershov},
editor = {Jozef Gruska and
Michal Chytil},
title = {The Transformational Machine: Theme and Variations},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {16--32},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_71},
doi = {10.1007/3-540-10856-4\_71},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ershov81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Freivalds81,
author = {Rusins Freivalds},
editor = {Jozef Gruska and
Michal Chytil},
title = {Probabilistic Two-Way Machines},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {33--45},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_72},
doi = {10.1007/3-540-10856-4\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Freivalds81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grigoriev81,
author = {Dima Grigoriev},
editor = {Jozef Gruska and
Michal Chytil},
title = {Multiplicative Complexity of a Bilinear Form over a Commutative Ring},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {281--286},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_94},
doi = {10.1007/3-540-10856-4\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grigoriev81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek81,
author = {Petr H{\'{a}}jek},
editor = {Jozef Gruska and
Michal Chytil},
title = {Making Dynamic Logic First-Order},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {287--295},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_95},
doi = {10.1007/3-540-10856-4\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Heide81,
author = {Friedhelm Meyer auf der Heide},
editor = {Jozef Gruska and
Michal Chytil},
title = {Time-Processor Trade-offs for Universal Parallel Computers},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {433--441},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_111},
doi = {10.1007/3-540-10856-4\_111},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Heide81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Horejs81,
author = {J. Horejs},
editor = {Jozef Gruska and
Michal Chytil},
title = {Partial Interpretations of Program Schemata},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {296--303},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_96},
doi = {10.1007/3-540-10856-4\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Horejs81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hromkovic81,
author = {Juraj Hromkovic},
editor = {Jozef Gruska and
Michal Chytil},
title = {Closure Properties of the Family of Languages Recognized by One-Way
Two-Head Deterministic Finite State Automata},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {304--313},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_97},
doi = {10.1007/3-540-10856-4\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hromkovic81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Janiga81,
author = {Ladislav Janiga},
editor = {Jozef Gruska and
Michal Chytil},
title = {Another Hierarchy Defined by Multihead Finite Automata},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {314--320},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_98},
doi = {10.1007/3-540-10856-4\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Janiga81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jaromczyk81,
author = {Jerzy W. Jaromczyk},
editor = {Jozef Gruska and
Michal Chytil},
title = {An Extension of Rabin's Complete Proof Concept},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {321--326},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_99},
doi = {10.1007/3-540-10856-4\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jaromczyk81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jensen81,
author = {Kurt Jensen},
editor = {Jozef Gruska and
Michal Chytil},
title = {How to Find Invariants for Coloured Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {327--338},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_100},
doi = {10.1007/3-540-10856-4\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jensen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JosephY81,
author = {Deborah Joseph and
Paul Young},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Survey of Some Recent Results on Computational Complexity in Weak
Theories of Arithmetic},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {46--60},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_73},
doi = {10.1007/3-540-10856-4\_73},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JosephY81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jung81,
author = {H. Jung},
editor = {Jozef Gruska and
Michal Chytil},
title = {Relationships between Probabilistic and Deterministic Tape Complexity},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {339--346},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_101},
doi = {10.1007/3-540-10856-4\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jung81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kanda81,
author = {Akira Kanda},
editor = {Jozef Gruska and
Michal Chytil},
title = {Constructive Category Theory (No. 1)},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {563--577},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_125},
doi = {10.1007/3-540-10856-4\_125},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kanda81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kelemenova81,
author = {Alica Kelemenov{\'{a}}},
editor = {Jozef Gruska and
Michal Chytil},
title = {Grammatical Levels of the Position Restricted Grammars},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {347--359},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_102},
doi = {10.1007/3-540-10856-4\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kelemenova81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KleijnR81,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
editor = {Jozef Gruska and
Michal Chytil},
title = {A General Framework for Comparing Sequential and Parallel Rewriting},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {360--368},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_103},
doi = {10.1007/3-540-10856-4\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KleijnR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Knodel81,
author = {Walter Kn{\"{o}}del},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Bin Packing Algorithm with Complexity O(n log n) and Performance
1 in the Stochastic Limit},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {369--378},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_104},
doi = {10.1007/3-540-10856-4\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Knodel81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Korec81,
author = {Ivan Korec},
editor = {Jozef Gruska and
Michal Chytil},
title = {Codings of Nonnegative Integers},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {379--388},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_105},
doi = {10.1007/3-540-10856-4\_105},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Korec81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KorteS81,
author = {Bernhard Korte and
Rainer Schrader},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Survey on Oracle Techniques},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {61--77},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_74},
doi = {10.1007/3-540-10856-4\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KorteS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KoubekR81,
author = {V{\'{a}}clav Koubek and
Anton{\'{\i}}n R{\'{\i}}ha},
editor = {Jozef Gruska and
Michal Chytil},
title = {The Maximum k-Flow in a Network},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {389--397},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_106},
doi = {10.1007/3-540-10856-4\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KoubekR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KreowskiR81,
author = {Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Constructive Description of Graph Languages Accepted by Finite
Automata},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {398--409},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_107},
doi = {10.1007/3-540-10856-4\_107},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KreowskiR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KriegelV81,
author = {Hans{-}Peter Kriegel and
Vijay K. Vaishnavi},
editor = {Jozef Gruska and
Michal Chytil},
title = {Weighted Multidimensional B-trees Used as Nearly Optimal Dynamic Dictionaries},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {410--417},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_108},
doi = {10.1007/3-540-10856-4\_108},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KriegelV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kucera81,
author = {Ludek Kucera},
editor = {Jozef Gruska and
Michal Chytil},
title = {Maximum Flow in Planar Networks},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {418--422},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_109},
doi = {10.1007/3-540-10856-4\_109},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kucera81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LeeuwenO81,
author = {Jan van Leeuwen and
Mark H. Overmars},
editor = {Jozef Gruska and
Michal Chytil},
title = {The Art of Dynamizing},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {121--131},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_78},
doi = {10.1007/3-540-10856-4\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LeeuwenO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lieberherr81,
author = {Karl J. Lieberherr},
editor = {Jozef Gruska and
Michal Chytil},
title = {Probabilistic Combinatorial Optimization},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {423--432},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_110},
doi = {10.1007/3-540-10856-4\_110},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lieberherr81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MonienS81,
author = {Burkhard Monien and
Ivan Hal Sudborough},
editor = {Jozef Gruska and
Michal Chytil},
title = {Time and Space Bounded Complexity Classes and Bandwidth Constrained
Problems {(A} Survey)},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {78--93},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_75},
doi = {10.1007/3-540-10856-4\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MonienS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nesetril81,
author = {Jaroslav Nesetril},
editor = {Jozef Gruska and
Michal Chytil},
title = {Representations of Graphs by Means of Products and Their Complexity},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {94--102},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_76},
doi = {10.1007/3-540-10856-4\_76},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Nesetril81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nijholt81,
author = {Anton Nijholt},
editor = {Jozef Gruska and
Michal Chytil},
title = {Parsing Strategies: {A} Concise Survey (Preliminary Report)},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {103--120},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_77},
doi = {10.1007/3-540-10856-4\_77},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Nijholt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pittl81,
author = {Jan Pittl},
editor = {Jozef Gruska and
Michal Chytil},
title = {Negative Results on the Size of Deterministic Right Parsers},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {442--451},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_112},
doi = {10.1007/3-540-10856-4\_112},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pittl81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pokorny81,
author = {Jaroslav Pokorn{\'{y}}},
editor = {Jozef Gruska and
Michal Chytil},
title = {Key-Equivalence of Functional Dependency Statements Systems},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {452--462},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_113},
doi = {10.1007/3-540-10856-4\_113},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pokorny81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ReitermanT81,
author = {Jan Reiterman and
Vera Trnkov{\'{a}}},
editor = {Jozef Gruska and
Michal Chytil},
title = {On Representations of Dynamic Algebras with Reversion},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {463--472},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_114},
doi = {10.1007/3-540-10856-4\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ReitermanT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rovan81,
author = {Branislav Rovan},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Framework for Studying Grammars},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {473--482},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_115},
doi = {10.1007/3-540-10856-4\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rovan81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sazonov81,
author = {Vladimir Yu. Sazonov},
editor = {Jozef Gruska and
Michal Chytil},
title = {On Existence of Complete Predicate Calculus in Metamathematics without
Exponentiation},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {483--490},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_116},
doi = {10.1007/3-540-10856-4\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sazonov81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Soisalon-SoininenW81,
author = {Eljas Soisalon{-}Soininen and
Derick Wood},
editor = {Jozef Gruska and
Michal Chytil},
title = {On Structural Similarity of Context-Free Grammars},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {491--498},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_117},
doi = {10.1007/3-540-10856-4\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Soisalon-SoininenW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sokolowski81,
author = {Stefan Sokolowski},
editor = {Jozef Gruska and
Michal Chytil},
title = {Axioms for the Term-Wise Correctness of Programs},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {499--507},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_118},
doi = {10.1007/3-540-10856-4\_118},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sokolowski81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Staiger81,
author = {Ludwig Staiger},
editor = {Jozef Gruska and
Michal Chytil},
title = {Complexity and Entropy},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {508--514},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_119},
doi = {10.1007/3-540-10856-4\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Staiger81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Steiner81,
author = {Juraj Steiner},
editor = {Jozef Gruska and
Michal Chytil},
title = {Axiomatic Semantics of Indirect Addressing},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {515--523},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_120},
doi = {10.1007/3-540-10856-4\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Steiner81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/TanakaK81,
author = {Katsumi Tanaka and
Yahiko Kambayashi},
editor = {Jozef Gruska and
Michal Chytil},
title = {Testing of Join Dependency Preserving by a Modified Chase Method},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {524--533},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_121},
doi = {10.1007/3-540-10856-4\_121},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/TanakaK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ValiantS81,
author = {Leslie G. Valiant and
Sven Skyum},
editor = {Jozef Gruska and
Michal Chytil},
title = {Fast Parallel Computation of Polynomials Using Few Processes},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {132--139},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_79},
doi = {10.1007/3-540-10856-4\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ValiantS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Valk81,
author = {R{\"{u}}diger Valk},
editor = {Jozef Gruska and
Michal Chytil},
title = {Generalizations of Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {140--155},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_80},
doi = {10.1007/3-540-10856-4\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Valk81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wedde81,
author = {Horst F. Wedde},
editor = {Jozef Gruska and
Michal Chytil},
title = {A Starvation-Free Solution of the Dining Philosopher's Problem by
Use of Interaction Systems},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {534--543},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_122},
doi = {10.1007/3-540-10856-4\_122},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wedde81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeihrauchS81,
author = {Klaus Weihrauch and
Gisela Sch{\"{a}}fer},
editor = {Jozef Gruska and
Michal Chytil},
title = {Admissible Representations of Effective CPO's},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {544--553},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_123},
doi = {10.1007/3-540-10856-4\_123},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeihrauchS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wiedermann81,
author = {Juraj Wiedermann},
editor = {Jozef Gruska and
Michal Chytil},
title = {Preserving Total Order in Constant Expected Time},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {554--562},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_124},
doi = {10.1007/3-540-10856-4\_124},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wiedermann81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1981,
editor = {Jozef Gruska and
Michal Chytil},
title = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4},
doi = {10.1007/3-540-10856-4},
isbn = {3-540-10856-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1981.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-18 22:52 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:
