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/mfcs91.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/Abdallah91,
author = {M. A. Nait Abdallah},
editor = {Andrzej Tarlecki},
title = {Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {357--366},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_79},
doi = {10.1007/3-540-54345-7\_79},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Abdallah91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AlessiB91,
author = {Fabio Alessi and
Franco Barbanera},
editor = {Andrzej Tarlecki},
title = {Strong Conjunction and Intersection Types},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {64--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_49},
doi = {10.1007/3-540-54345-7\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AlessiB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoC91,
author = {Egidio Astesiano and
Maura Cerioli},
editor = {Andrzej Tarlecki},
title = {Partial Higher-Order Specifications},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {74--83},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_50},
doi = {10.1007/3-540-54345-7\_50},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bonnier91,
author = {Staffan Bonnier},
editor = {Andrzej Tarlecki},
title = {Unification in Incompletely Specified Theories: {A} Case Study},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {84--92},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_51},
doi = {10.1007/3-540-54345-7\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bonnier91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoudolCHK91,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Andrzej Tarlecki},
title = {Observing Localities (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {93--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_52},
doi = {10.1007/3-540-54345-7\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoudolCHK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Cerny91,
author = {Anton Cern{\'{y}}},
editor = {Andrzej Tarlecki},
title = {Generating Words by Cellular Automata},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {113--120},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_54},
doi = {10.1007/3-540-54345-7\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Cerny91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CostaR91,
author = {Gerardo Costa and
Gianna Reggio},
editor = {Andrzej Tarlecki},
title = {Abstract Dynamic Data Types: {A} Temporal Logic Approach},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {103--112},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_53},
doi = {10.1007/3-540-54345-7\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CostaR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DeganoG91,
author = {Pierpaolo Degano and
Roberto Gorrieri},
editor = {Andrzej Tarlecki},
title = {Atomic Refinement in Process Description Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {121--130},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_55},
doi = {10.1007/3-540-54345-7\_55},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DeganoG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DiekertGP91,
author = {Volker Diekert and
Paul Gastin and
Antoine Petit},
editor = {Andrzej Tarlecki},
title = {Recognizable Complex Trace Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {131--140},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_56},
doi = {10.1007/3-540-54345-7\_56},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/DiekertGP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Domenjoud91,
author = {Eric Domenjoud},
editor = {Andrzej Tarlecki},
title = {Solving Systems of Linear Diophantine Equations: An Algebraic Approach},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {141--150},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_57},
doi = {10.1007/3-540-54345-7\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Domenjoud91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dowek91,
author = {Gilles Dowek},
editor = {Andrzej Tarlecki},
title = {A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {151--160},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_58},
doi = {10.1007/3-540-54345-7\_58},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Dowek91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EgidiHR91,
author = {Lavinia Egidi and
Furio Honsell and
Simona Ronchi Della Rocca},
editor = {Andrzej Tarlecki},
title = {The lazy call-by-value Lamda-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {161--169},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_59},
doi = {10.1007/3-540-54345-7\_59},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/EgidiHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GorrieriL91,
author = {Roberto Gorrieri and
Cosimo Laneve},
editor = {Andrzej Tarlecki},
title = {The Limit of Split{\_}n-Bisimulations for {CCS} Agents},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {170--180},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_60},
doi = {10.1007/3-540-54345-7\_60},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GorrieriL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HanselKM91,
author = {Georges Hansel and
Daniel Krob and
Christian Michaux},
editor = {Andrzej Tarlecki},
title = {Stochastic Automata and Length Distributions of Rational Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {181--190},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_61},
doi = {10.1007/3-540-54345-7\_61},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HanselKM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HilkenR91,
author = {Barney P. Hilken and
David E. Rydeheard},
editor = {Andrzej Tarlecki},
title = {Towards a Categorical Semantics Type Classes},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {191--201},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_62},
doi = {10.1007/3-540-54345-7\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HilkenR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HowellJR91,
author = {Rodney R. Howell and
Petr Jancar and
Louis E. Rosier},
editor = {Andrzej Tarlecki},
title = {Single-Path Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {202--210},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_63},
doi = {10.1007/3-540-54345-7\_63},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HowellJR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HromkovicM91,
author = {Juraj Hromkovic and
Burkhard Monien},
editor = {Andrzej Tarlecki},
title = {The Bisection Problem for Graphs of Degree 4 (Configuring Transputer
Systems)},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {211--220},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_64},
doi = {10.1007/3-540-54345-7\_64},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HromkovicM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraJW91,
author = {Oscar H. Ibarra and
Tao Jiang and
Hui Wang},
editor = {Andrzej Tarlecki},
title = {Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D
Alternating Finite Automata},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {221--230},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_65},
doi = {10.1007/3-540-54345-7\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IbarraJW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/InverardiN91,
author = {Paola Inverardi and
Monica Nesi},
editor = {Andrzej Tarlecki},
title = {Infinite Normal Forms for Non-Linear Term Rewriting Systems},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {231--239},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_66},
doi = {10.1007/3-540-54345-7\_66},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/InverardiN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JokinenU91,
author = {Petteri Jokinen and
Esko Ukkonen},
editor = {Andrzej Tarlecki},
title = {Two Algorithms for Approximate String Matching in Static Texts},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {240--248},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_67},
doi = {10.1007/3-540-54345-7\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JokinenU91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiRJ91,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Rytter and
Stefan Jarominek},
editor = {Andrzej Tarlecki},
title = {Efficient Constructions of Test Sets for Regular and Context-Free
Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {249--258},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_68},
doi = {10.1007/3-540-54345-7\_68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiRJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KavadiasKS91,
author = {Dimitris Kavadias and
Lefteris M. Kirousis and
Paul G. Spirakis},
editor = {Andrzej Tarlecki},
title = {The Complexity of The Reliable Connectivity Problem},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {259--266},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_69},
doi = {10.1007/3-540-54345-7\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KavadiasKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kesner91,
author = {Delia Kesner},
editor = {Andrzej Tarlecki},
title = {Pattern Matching in Order-Sorted Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {267--276},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_70},
doi = {10.1007/3-540-54345-7\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kesner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Konikowska91,
author = {Beata Konikowska},
editor = {Andrzej Tarlecki},
title = {Two Over Three: {A} Two-Valued Logic for Software Specification and
Validation Over a Three-Valued Predicate Calculus},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {277--286},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_71},
doi = {10.1007/3-540-54345-7\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Konikowska91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KounalisLP91,
author = {Emmanuel Kounalis and
Denis Lugiez and
Loic Pottier},
editor = {Andrzej Tarlecki},
title = {A Solution of the Complement Problem in Associative-Commutative Theories},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {287--297},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_72},
doi = {10.1007/3-540-54345-7\_72},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KounalisLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Krishnan91,
author = {Padmanabhan Krishnan},
editor = {Andrzej Tarlecki},
title = {A Model for Real-Time Systems},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {298--307},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_73},
doi = {10.1007/3-540-54345-7\_73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Krishnan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LamV91,
author = {Nguyen Huong Lam and
Do Long Van},
editor = {Andrzej Tarlecki},
title = {On Strict Codes},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {308--317},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_74},
doi = {10.1007/3-540-54345-7\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LamV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LassezMM91,
author = {Jean{-}Louis Lassez and
Michael J. Maher and
Kim Marriott},
editor = {Andrzej Tarlecki},
title = {Elimination of Negation in Term Algebras},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {1--16},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_44},
doi = {10.1007/3-540-54345-7\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LassezMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LeissH91,
author = {Hans Lei{\ss} and
Fritz Henglein},
editor = {Andrzej Tarlecki},
title = {A Decidable Case of the Semi-Unification Problem},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {318--327},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_75},
doi = {10.1007/3-540-54345-7\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LeissH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Leopold91,
author = {Claudia Leopold},
editor = {Andrzej Tarlecki},
title = {Maintaining Dictionaries in a Hierarchical Memory},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {328--336},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_76},
doi = {10.1007/3-540-54345-7\_76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Leopold91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lescanne91,
author = {Pierre Lescanne},
editor = {Andrzej Tarlecki},
title = {Rewrite Orderings and Termination of Rewrite Systems},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {17--27},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_45},
doi = {10.1007/3-540-54345-7\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lescanne91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MannaP91,
author = {Zohar Manna and
Amir Pnueli},
editor = {Andrzej Tarlecki},
title = {On the Faithfulness of Formal Models},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {28--42},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_46},
doi = {10.1007/3-540-54345-7\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MannaP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MeinelW91,
author = {Christoph Meinel and
Stephan Waack},
editor = {Andrzej Tarlecki},
title = {Upper and Lower Bounds for Certain Graph-Accessibility Problems on
Bounded Alternating Omega-Branching Programs},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {337--345},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_77},
doi = {10.1007/3-540-54345-7\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MeinelW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MontanariS91,
author = {Ugo Montanari and
Vladimiro Sassone},
editor = {Andrzej Tarlecki},
title = {{CCS} Dynamic Bisimulation is Progressing},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {346--356},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_78},
doi = {10.1007/3-540-54345-7\_78},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MontanariS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nielsen91,
author = {Mogens Nielsen},
editor = {Andrzej Tarlecki},
title = {Models for Concurrency},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {43--46},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_47},
doi = {10.1007/3-540-54345-7\_47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Nielsen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Niwinski91,
author = {Damian Niwinski},
editor = {Andrzej Tarlecki},
title = {On the Cardinality of Sets of Infinite Trees Recognizable by Finite
Automata},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {367--376},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_80},
doi = {10.1007/3-540-54345-7\_80},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Niwinski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Paech91,
author = {Barbara Paech},
editor = {Andrzej Tarlecki},
title = {Extending Temporal Logic by Explicit Concurrency},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {377--386},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_81},
doi = {10.1007/3-540-54345-7\_81},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Paech91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Perez91,
author = {Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Andrzej Tarlecki},
title = {An Extensional Partial Combinatory Algebra Based on Lamda-Terms},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {387--396},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_82},
doi = {10.1007/3-540-54345-7\_82},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Perez91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Poigne91,
author = {Axel Poign{\'{e}}},
editor = {Andrzej Tarlecki},
title = {Once More on Order-Sorted Algebras},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {397--405},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_83},
doi = {10.1007/3-540-54345-7\_83},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Poigne91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RoosW91,
author = {Yves Roos and
Pierre{-}Andr{\'{e}} Wacrenier},
editor = {Andrzej Tarlecki},
title = {Composition of Two Semi Commutations},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {406--414},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_84},
doi = {10.1007/3-540-54345-7\_84},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/RoosW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ruzicka91,
author = {Peter Ruzicka},
editor = {Andrzej Tarlecki},
title = {An Efficient Decision Algorithm for the Uniform Semi-Unification Problem},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {415--425},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_85},
doi = {10.1007/3-540-54345-7\_85},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ruzicka91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Salwicki91,
author = {Andrzej Salwicki},
editor = {Andrzej Tarlecki},
title = {On a Hierarchy of File Types and a Tower of Their Theories},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {47--63},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_48},
doi = {10.1007/3-540-54345-7\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Salwicki91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Shvachko91,
author = {Konstantin V. Shvachko},
editor = {Andrzej Tarlecki},
title = {Different Modifications of Pointer Machines and Their Computational
Power},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {426--435},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_86},
doi = {10.1007/3-540-54345-7\_86},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Shvachko91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1991,
editor = {Andrzej Tarlecki},
title = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7},
doi = {10.1007/3-540-54345-7},
isbn = {3-540-54345-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1991.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-08 19:44 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:
