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/mfcs75.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/Adamek75,
author = {Jir{\'{\i}} Ad{\'{a}}mek},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Automata and Categories: Finiteness Contra Minimality},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {160--166},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_190},
doi = {10.1007/3-540-07389-2\_190},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Adamek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Anisimov75,
author = {A. V. Anisimov},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Languages Over Free Groups},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {167--171},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_191},
doi = {10.1007/3-540-07389-2\_191},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Anisimov75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AusielloP75,
author = {Giorgio Ausiello and
Marco Protasi},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On the Comparison of Notions of Approximation},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {172--178},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_192},
doi = {10.1007/3-540-07389-2\_192},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AusielloP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BarzdinBK75,
author = {Janis Barzdin and
Janis Bicevskis and
Audris Kalnins},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Construction of Complete Sample System for Correctness Testing},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {1--12},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_178},
doi = {10.1007/3-540-07389-2\_178},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BarzdinBK75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BenesovaK75,
author = {M. Benesov{\'{a}} and
Ivan Korec},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Non-Linear Speed-Up Theorem for Two Register Minsky Machines},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {179--185},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_193},
doi = {10.1007/3-540-07389-2\_193},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BenesovaK75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BestS75,
author = {Eike Best and
Hans Albrecht Schmid},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Systems of Open Paths in Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {186--193},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_194},
doi = {10.1007/3-540-07389-2\_194},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BestS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Boas75,
author = {Peter van Emde Boas},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Ten Years of Speedup},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {13--29},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_179},
doi = {10.1007/3-540-07389-2\_179},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Boas75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Boasson75,
author = {Luc Boasson},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {on the Largest Full Sub-AFL of the Full {AFL} of Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {194--198},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_195},
doi = {10.1007/3-540-07389-2\_195},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Boasson75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Chytil75,
author = {Michal Chytil},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Complexity of Nondeterministic Turing Machines Computations},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {199--205},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_196},
doi = {10.1007/3-540-07389-2\_196},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Chytil75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dikovsky75,
author = {Alexander Ja. Dikovsky},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Closure Properties of Context-Free Derivation Complexity Classes},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {206--211},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_197},
doi = {10.1007/3-540-07389-2\_197},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dikovsky75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Evtimov75,
author = {Venelin K. Evtimov},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Control Structures in Single Block Programs},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {212--218},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_198},
doi = {10.1007/3-540-07389-2\_198},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Evtimov75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Freivald75,
author = {R. V. Freivald},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Minimal G{\"{o}}del Numbers and Their Identification in the Limit},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {219--225},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_199},
doi = {10.1007/3-540-07389-2\_199},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Freivald75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gecseg75,
author = {Ferenc G{\'{e}}cseg},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Isomorphic Representation of Automata},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {226--230},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_200},
doi = {10.1007/3-540-07389-2\_200},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Gecseg75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Genrich75,
author = {Hartmann J. Genrich},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Extended Simple Regular Expressions},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {231--237},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_201},
doi = {10.1007/3-540-07389-2\_201},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Genrich75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GiniG75,
author = {Giuseppina C. Gini and
Maria L. Gini},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Conniver Programs by Logical Point of View},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {238--245},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_202},
doi = {10.1007/3-540-07389-2\_202},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GiniG75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grzymala-Busse75,
author = {Jerzy W. Grzymala{-}Busse},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On the Set of All Automata with the Same Monoid of Endomorphisms},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {246--251},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_203},
doi = {10.1007/3-540-07389-2\_203},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grzymala-Busse75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek75,
author = {Petr H{\'{a}}jek},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Logics of Discovery},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {30--45},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_180},
doi = {10.1007/3-540-07389-2\_180},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Harrison75,
author = {Michael A. Harrison},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Models of Protection in Operating Systems},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {46--60},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_181},
doi = {10.1007/3-540-07389-2\_181},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Harrison75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Havel75,
author = {Ivan M. Havel},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Nondterministically Recognizable Sets of Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {252--257},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_204},
doi = {10.1007/3-540-07389-2\_204},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Havel75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Havranek75,
author = {Tom{\'{a}}s Havr{\'{a}}nek},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {The Approximation Problem in Computational Statistics},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {258--265},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_205},
doi = {10.1007/3-540-07389-2\_205},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Havranek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Indermark75,
author = {Klaus Indermark},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {The Continuous Algebra of Monadic Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {266--270},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_206},
doi = {10.1007/3-540-07389-2\_206},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Indermark75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kanovic75,
author = {Max I. Kanovic},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Sets of Complex-Programmed Numbers},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {271--272},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_207},
doi = {10.1007/3-540-07389-2\_207},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kanovic75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Karpinski75,
author = {Marek Karpinski},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Decision Algorithms for Havel's Branching Automata},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {273--279},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_208},
doi = {10.1007/3-540-07389-2\_208},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Karpinski75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KoubekR75,
author = {V{\'{a}}clav Koubek and
Jan Reiterman},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Automata and Categories - Input Processes},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {280--286},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_209},
doi = {10.1007/3-540-07389-2\_209},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KoubekR75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KralD75,
author = {Jaroslav Kr{\'{a}}l and
Jir{\'{\i}} Demner},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Parsing as a Subtask of Compiling},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {61--74},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_182},
doi = {10.1007/3-540-07389-2\_182},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KralD75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kroger75,
author = {Fred Kr{\"{o}}ger},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Formalization of Algorithmic Reasoning},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {287--293},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_210},
doi = {10.1007/3-540-07389-2\_210},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kroger75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LeviS75,
author = {Giorgio Levi and
Franco Sirovich},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Proving Program Properties, Symbolic Evaluation and Logical Procedural
Semantics},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {294--301},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_211},
doi = {10.1007/3-540-07389-2\_211},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LeviS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maluszynski75,
author = {Jan Maluszynski},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {A Contribution to Error Recovery},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {302--307},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_212},
doi = {10.1007/3-540-07389-2\_212},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Maluszynski75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Marzurkiewicz75,
author = {Antoni W. Mazurkiewicz},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Parallel Recursive Program Schemes},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {75--87},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_183},
doi = {10.1007/3-540-07389-2\_183},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Marzurkiewicz75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mayer75,
author = {Otto Mayer},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On the Analysis and Synthesis Problems for Context-Free Expressions},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {308--314},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_213},
doi = {10.1007/3-540-07389-2\_213},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mayer75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MehlhornG75,
author = {Kurt Mehlhorn and
Zvi Galil},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Monotone Switching Circuits and Boolean Matrix Product},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {315--319},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_214},
doi = {10.1007/3-540-07389-2\_214},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MehlhornG75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Meznik75,
author = {Ivan Mezn{\'{\i}}k},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Some Lattice-Theoretic Properties of Generable Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {320--325},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_215},
doi = {10.1007/3-540-07389-2\_215},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Meznik75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Modina75,
author = {Larisa S. Modina},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Some Formal Grammars Generating Dependency Trees},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {326--329},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_216},
doi = {10.1007/3-540-07389-2\_216},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Modina75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NgHY75,
author = {Peter A. Ng and
Pei Hsia and
Raymond T. Yeh},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Graph Walking Automata},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {330--336},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_217},
doi = {10.1007/3-540-07389-2\_217},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NgHY75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Novotny75,
author = {Miroslav Novotn{\'{y}}},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Some Problems Concerning Pawlak's Machines},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {88--100},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_184},
doi = {10.1007/3-540-07389-2\_184},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Novotny75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Perl75,
author = {J{\"{u}}rgen Perl},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Finding All Solutions of the Partitioning Problem},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {337--343},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_218},
doi = {10.1007/3-540-07389-2\_218},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Perl75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Piricka-Kelemenova75,
author = {Alica Pirick{\'{a}}{-}Kelemenov{\'{a}}},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Greibach Normal Form Complexity},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {344--350},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_219},
doi = {10.1007/3-540-07389-2\_219},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Piricka-Kelemenova75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Podlovchenko75,
author = {Rimma I. Podlovchenko},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Correctness and Essentiality of Some Ianov Schemas Equivalence
Relations},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {351--357},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_220},
doi = {10.1007/3-540-07389-2\_220},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Podlovchenko75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pudlak75,
author = {Pavel Pudl{\'{a}}k},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Polynomially Complete Problems in the Logic of Automated Discovery},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {358--361},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_221},
doi = {10.1007/3-540-07389-2\_221},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pudlak75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rajlich75,
author = {V{\'{a}}clav Rajlich},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Relational definition of Computer Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {362--376},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_222},
doi = {10.1007/3-540-07389-2\_222},
timestamp = {Wed, 06 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rajlich75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Roever75,
author = {Willem P. de Roever},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {First-Order Reductions of Call-by-Name to Call-by-Value},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {377--398},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_223},
doi = {10.1007/3-540-07389-2\_223},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Roever75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ruzicka75,
author = {Peter Ruzicka},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Local Disambiguating Transformation},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {399--404},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_224},
doi = {10.1007/3-540-07389-2\_224},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ruzicka75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Salomaa75,
author = {Arto Salomaa},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Formal Power Series and Growth Functions of Lindenmayer Systems},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {101--113},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_185},
doi = {10.1007/3-540-07389-2\_185},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Salomaa75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Simovici75,
author = {Dan A. Simovici},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Cardinal Sequential Outer Measures},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {405--410},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_225},
doi = {10.1007/3-540-07389-2\_225},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Simovici75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Starke75,
author = {Peter H. Starke},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On the Representability of Relations by Deterministic and Nondeterministic
Multi-Tape Automata},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {114--124},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_186},
doi = {10.1007/3-540-07389-2\_186},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Starke75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Trakhtenbrot75,
author = {Boris A. Trakhtenbrot},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Problems Solvable by Successive Trials},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {125--137},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_187},
doi = {10.1007/3-540-07389-2\_187},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Trakhtenbrot75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Trakhtenbrot75a,
author = {Mark B. Trakhtenbrot},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Representation of Sequential and Parallel Functions},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {411--417},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_226},
doi = {10.1007/3-540-07389-2\_226},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Trakhtenbrot75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Trnkova75,
author = {Vera Trnkov{\'{a}}},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Automate and Categories},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {138--152},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_188},
doi = {10.1007/3-540-07389-2\_188},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Trnkova75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Tseytlin75,
author = {G. E. Tseytlin},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {The Theory of the Modified Post Algebras and Multidimensional Automata
Structures},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {418--425},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_227},
doi = {10.1007/3-540-07389-2\_227},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Tseytlin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Turner75,
author = {Raymond Turner},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {An Algebraic Theory of Formal Languages},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {426--431},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_228},
doi = {10.1007/3-540-07389-2\_228},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Turner75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Valiev75,
author = {Mars K. Valiev},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Polynomial Reducibility of Word Problem Under Embedding of Recursively
Presented Groups in Finitely Presented Groups},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {432--438},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_229},
doi = {10.1007/3-540-07389-2\_229},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Valiev75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Valk75,
author = {R{\"{u}}diger Valk},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On the Synthesis of Automata with Several Initial States},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {439--444},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_230},
doi = {10.1007/3-540-07389-2\_230},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Valk75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wagner75,
author = {Klaus W. Wagner},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {A Hierarchy of Regular Sequence Sets},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {445--449},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_231},
doi = {10.1007/3-540-07389-2\_231},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wagner75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wechler75,
author = {Wolfgang Wechler},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {R-Fuzzy Grammars},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {450--456},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_232},
doi = {10.1007/3-540-07389-2\_232},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wechler75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wechsung75,
author = {Gerd Wechsung},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Characterization of Some Classes of Context-Free Languages in Terms
of Complexity Classes},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {457--461},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_233},
doi = {10.1007/3-540-07389-2\_233},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wechsung75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wiehagen75,
author = {Rolf Wiehagen},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Inductive Inference of Recursive Functions},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {462--464},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_234},
doi = {10.1007/3-540-07389-2\_234},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wiehagen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Winkowski75,
author = {J{\'{o}}zef Winkowski},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Proving Properties of Programs by Means of Predicate Logic},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {465--471},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_235},
doi = {10.1007/3-540-07389-2\_235},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Winkowski75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wojdylo75,
author = {Boleslaw Wojdylo},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {A Generalization of Scott's Flow Diagrams},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {472--476},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_236},
doi = {10.1007/3-540-07389-2\_236},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wojdylo75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Zaslavskii75,
author = {I. D. Zaslavskii},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Some Models of Computability of Boolean Functions},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {153--159},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_189},
doi = {10.1007/3-540-07389-2\_189},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Zaslavskii75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1975,
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2},
doi = {10.1007/3-540-07389-2},
isbn = {0-387-07389-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1975.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-06-06 20:49 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:
