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/mfcs74.bht:"
download as .bib file
@proceedings{DBLP:conf/mfcs/1974,
editor = {Andrzej Blikle},
title = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07162-8},
doi = {10.1007/3-540-07162-8},
isbn = {3-540-07162-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Banachowski74,
author = {Lech Banachowski},
editor = {Andrzej Blikle},
title = {Modular Approach to the Logical Theory of Programs},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {327--332},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_693},
doi = {10.1007/3-540-07162-8\_693},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Banachowski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Becvar74,
author = {Jir{\'{\i}} Becv{\'{a}}r},
editor = {Andrzej Blikle},
title = {Sequential Functions and Generalized Moore and Mealy Automata},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {1--8},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_661},
doi = {10.1007/3-540-07162-8\_661},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Becvar74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bertoni74,
author = {Alberto Bertoni},
editor = {Andrzej Blikle},
title = {Mathematical Methods of the Theory of Stochastic Automata},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {9--22},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_662},
doi = {10.1007/3-540-07162-8\_662},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bertoni74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Beyga74,
author = {L. Beyga},
editor = {Andrzej Blikle},
title = {On the Quasi-Controllability of Automata},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {23--25},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_663},
doi = {10.1007/3-540-07162-8\_663},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Beyga74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Blikle74,
author = {Andrzej Blikle},
editor = {Andrzej Blikle},
title = {Proving Programs by Sets of Computations},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {333--358},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_694},
doi = {10.1007/3-540-07162-8\_694},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Blikle74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BrzozowskiY74,
author = {Janusz A. Brzozowski and
Michael Yoeli},
editor = {Andrzej Blikle},
title = {Models for Analysis of Races in Sequential Networks},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {26--32},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_664},
doi = {10.1007/3-540-07162-8\_664},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BrzozowskiY74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Crestin74,
author = {J. P. Crestin},
editor = {Andrzej Blikle},
title = {Ultralinear Expressions},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {222--231},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_682},
doi = {10.1007/3-540-07162-8\_682},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Crestin74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dahl74,
author = {Ole{-}Johan Dahl},
editor = {Andrzej Blikle},
title = {An Approach to Correctness Proofs of Semicoroutines},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {157--174},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_678},
doi = {10.1007/3-540-07162-8\_678},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dahl74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dembinski74,
author = {Piotr Dembinski},
editor = {Andrzej Blikle},
title = {Towards an Understanding of Complex Processes},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {175--185},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_679},
doi = {10.1007/3-540-07162-8\_679},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dembinski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Evtimov74,
author = {Venelin K. Evtimov},
editor = {Andrzej Blikle},
title = {Bases of Paths in Correctness Proofs},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {359--360},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_695},
doi = {10.1007/3-540-07162-8\_695},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Evtimov74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Fontet74,
author = {Max Fontet},
editor = {Andrzej Blikle},
title = {A Family of Algebraic Systems Related to the Theory of Equations on
Free Monoids},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {232--248},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_683},
doi = {10.1007/3-540-07162-8\_683},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Fontet74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Freivald74,
author = {R. V. Freivald},
editor = {Andrzej Blikle},
title = {Functions Computable in the Limit by Probabilistic Machines},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {77--87},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_671},
doi = {10.1007/3-540-07162-8\_671},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Freivald74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoetzeK74,
author = {Bernhard G. Goetze and
Reinhard Klette},
editor = {Andrzej Blikle},
title = {Some Properties of Limit Recursive Functions},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {88--90},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_672},
doi = {10.1007/3-540-07162-8\_672},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoetzeK74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoguenTWW74,
author = {Joseph A. Goguen and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Andrzej Blikle},
title = {Factorizations, Congruences, and the Decomposition of Automata and
Systems},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {33--45},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_665},
doi = {10.1007/3-540-07162-8\_665},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoguenTWW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grzymala-Busse74,
author = {Jerzy W. Grzymala{-}Busse},
editor = {Andrzej Blikle},
title = {On the Periodic Sum and Extensions of Finite Automata},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {46--52},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_666},
doi = {10.1007/3-540-07162-8\_666},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grzymala-Busse74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Havel74,
author = {Ivan M. Havel},
editor = {Andrzej Blikle},
title = {Finite Branching Automata: Automata Theory Motivated by Problem Solving},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {53--61},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_667},
doi = {10.1007/3-540-07162-8\_667},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Havel74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hoehnke74,
author = {Hans{-}J{\"{u}}rgen Hoehnke},
editor = {Andrzej Blikle},
title = {Algebraic Models {I}},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {361--371},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_696},
doi = {10.1007/3-540-07162-8\_696},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hoehnke74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Irlik74,
author = {Jacek Irlik},
editor = {Andrzej Blikle},
title = {Structured Programmability of Iterative Algorithms},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {372--376},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_697},
doi = {10.1007/3-540-07162-8\_697},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Irlik74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Karpinski74,
author = {Marek Karpinski},
editor = {Andrzej Blikle},
title = {Stretching by Probabilistic Tree Automata and Santos Grammars},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {249--255},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_684},
doi = {10.1007/3-540-07162-8\_684},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Karpinski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kelemen74,
author = {Jozef Kelemen},
editor = {Andrzej Blikle},
title = {A Lattice-Theoretical Approach to Problem-Solving},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {303--306},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_690},
doi = {10.1007/3-540-07162-8\_690},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kelemen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Konikowska74,
author = {Beata Konikowska},
editor = {Andrzej Blikle},
title = {On Some Approximation Problems of Continuous Computation},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {91--106},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_673},
doi = {10.1007/3-540-07162-8\_673},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Konikowska74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kral74,
author = {Jaroslav Kr{\'{a}}l},
editor = {Andrzej Blikle},
title = {Tow Down versus Bottom Up Syntax Analysis Revised},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {256--273},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_685},
doi = {10.1007/3-540-07162-8\_685},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kral74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kulpa74,
author = {Zenon Kulpa},
editor = {Andrzej Blikle},
title = {On the Equivalence of Planar Grammars and Parallel Picture Processing
Algorithms},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {307--312},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_691},
doi = {10.1007/3-540-07162-8\_691},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kulpa74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kwasowiec74,
author = {W. Kwasowiec},
editor = {Andrzej Blikle},
title = {Set-Theoretic Properties of Programs in Stored Program Computers},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {107--113},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_674},
doi = {10.1007/3-540-07162-8\_674},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kwasowiec74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Leszczylowski74,
author = {Jacek Leszczylowski},
editor = {Andrzej Blikle},
title = {On Equivalence of Programs},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {377--380},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_698},
doi = {10.1007/3-540-07162-8\_698},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Leszczylowski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Leszczylowski74a,
author = {Jacek Leszczylowski},
editor = {Andrzej Blikle},
title = {Mathematical Model of Programs with Dynamic Allocation of Variables},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {381--387},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_699},
doi = {10.1007/3-540-07162-8\_699},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Leszczylowski74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lipski74,
author = {Witold Lipski Jr.},
editor = {Andrzej Blikle},
title = {Combinatorial Aspects of Information Storage and Retrieval},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {313--326},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_692},
doi = {10.1007/3-540-07162-8\_692},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lipski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maluszynski74,
author = {Jan Maluszynski},
editor = {Andrzej Blikle},
title = {Substring Languages},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {274--284},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_686},
doi = {10.1007/3-540-07162-8\_686},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Maluszynski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Miglioli74,
author = {Pierangelo Miglioli},
editor = {Andrzej Blikle},
title = {Mathematical Foundations of Motivation Languages and Synthesis Maps},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {388--408},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_700},
doi = {10.1007/3-540-07162-8\_700},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Miglioli74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mikulecky74,
author = {Peter Mikuleck{\'{y}}},
editor = {Andrzej Blikle},
title = {On Configurations in Cellular Automata},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {62--68},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_668},
doi = {10.1007/3-540-07162-8\_668},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mikulecky74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mosses74,
author = {Peter D. Mosses},
editor = {Andrzej Blikle},
title = {The Semantics of Semantic Equations},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {409--422},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_701},
doi = {10.1007/3-540-07162-8\_701},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Mosses74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Owsianiecka74,
author = {W. A. Owsianiecka},
editor = {Andrzej Blikle},
title = {Defining Languages by Mazurkiewicz Algorithms},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {285--291},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_687},
doi = {10.1007/3-540-07162-8\_687},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Owsianiecka74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Piricka74,
author = {Alica Pirick{\'{a}}},
editor = {Andrzej Blikle},
title = {Complexity and Normal Forms of Contex-Free Languages},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {292--297},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_688},
doi = {10.1007/3-540-07162-8\_688},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Piricka74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ras74,
author = {Zbigniew W. Ras},
editor = {Andrzej Blikle},
title = {Classification of Programs of a {SPC}},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {114--125},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_675},
doi = {10.1007/3-540-07162-8\_675},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ras74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rasiowa74,
author = {Helena Rasiowa},
editor = {Andrzej Blikle},
title = {omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {423--450},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_702},
doi = {10.1007/3-540-07162-8\_702},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rasiowa74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Roever74,
author = {Willem P. de Roever},
editor = {Andrzej Blikle},
title = {Call-by-Value versus Call-by-Name: {A} proof-Theoretic Comparison},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {451--463},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_703},
doi = {10.1007/3-540-07162-8\_703},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Roever74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Salwicki74,
author = {Andrzej Salwicki},
editor = {Andrzej Blikle},
title = {Procedures, Formal Computations and Models},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {464--484},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_704},
doi = {10.1007/3-540-07162-8\_704},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Salwicki74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Skowron74,
author = {Andrzej Skowron},
editor = {Andrzej Blikle},
title = {Simulation},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {186--201},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_680},
doi = {10.1007/3-540-07162-8\_680},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Skowron74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Tiuryn74,
author = {Jerzy Tiuryn},
editor = {Andrzej Blikle},
title = {The Algebraic Approach to the Theory of Computing Systems},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {126--142},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_676},
doi = {10.1007/3-540-07162-8\_676},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Tiuryn74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WagnerS74,
author = {Klaus W. Wagner and
Ludwig Staiger},
editor = {Andrzej Blikle},
title = {Finite Automata Acceptation of Infinite Sequences},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {69--72},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_669},
doi = {10.1007/3-540-07162-8\_669},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WagnerS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wechler74,
author = {Wolfgang Wechler},
editor = {Andrzej Blikle},
title = {R-Fuzzy Automata with a Time-Variant Structure},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {73--76},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_670},
doi = {10.1007/3-540-07162-8\_670},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wechler74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wechsung74,
author = {Gerd Wechsung},
editor = {Andrzej Blikle},
title = {The Axiomatization Problem of a Theory of Linear Languages},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {298--302},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_689},
doi = {10.1007/3-540-07162-8\_689},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wechsung74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Winkowski74,
author = {J{\'{o}}zef Winkowski},
editor = {Andrzej Blikle},
title = {Concurrent Programs},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {202--221},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_681},
doi = {10.1007/3-540-07162-8\_681},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Winkowski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Zakowski74,
author = {Wojciech Zakowski},
editor = {Andrzej Blikle},
title = {Continuous Simple Z-Machines, Z-Computable Functions and Sets of Functions
of n Real Variables},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {143--156},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_677},
doi = {10.1007/3-540-07162-8\_677},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Zakowski74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-27 06:56 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
