@incollection{Becvar/75,
AUTHOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
TITLE = {Sequential functions and generalized Moore and Mealy automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {1-8},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_661},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bertoni/75,
AUTHOR = {Bertoni, A.},
TITLE = {Mathematical methods of the theory of stochastic automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {9-22},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_662},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Beyga/75,
AUTHOR = {Beyga, L.},
TITLE = {On the quasi-controllability of automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {23-25},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_663},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brzozowski-Yoeli/75,
AUTHOR = {Brzozowski, J. and Yoeli, M.},
TITLE = {Models for analysis of races in sequential networks},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {26-32},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_664},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goguen-Thatcher-Wagner-Wright/75,
AUTHOR = {Goguen, J.A. and Thatcher, J.W. and Wagner, E.G. and Wright, J.B.},
TITLE = {Factorizations, congruences, and the decomposition of automata and systems},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {33-45},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_665},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grzymala-Busse/75,
AUTHOR = {Grzymala-Busse, Jerzy W.},
TITLE = {On the periodic sum and extensions of finite automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {46-52},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_666},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havel/75,
AUTHOR = {Havel, Ivan M.},
TITLE = {Finite branching automata: Automata theory motivated by problem solving},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {53-61},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_667},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mikulecky/75,
AUTHOR = {Mikuleck{\'y}, Peter},
TITLE = {On configurations in cellular automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {62-68},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_668},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner-Staiger/75,
AUTHOR = {Wagner, K. and Staiger, L.},
TITLE = {Finite automata acceptation of infinite sequences},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {69-72},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechler/75,
AUTHOR = {Wechler, W.},
TITLE = {R-fuzzy automata with a time-variant structure},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {73-76},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_670},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Freivald/75,
AUTHOR = {Freivald, R.V.},
TITLE = {Functions computable in the limit by probabilistic machines},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {77-87},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_671},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goetze-Klette/75,
AUTHOR = {Goetze, B. and Klette, R.},
TITLE = {Some properties of limit recursive functions},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {88-90},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_672},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Konikowska/75,
AUTHOR = {Konikowska, B.},
TITLE = {On some approximation problems of continuous computation},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {91-106},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_673},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kwasowiec/75,
AUTHOR = {Kwasowiec, W.},
TITLE = {Set-theoretic properties of programs in stored program computers},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {107-113},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_674},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ras/75,
AUTHOR = {Ra{\'s}, Z.},
TITLE = {Classification of programs of a SPC},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {114-125},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_675},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tiuryn/75,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {The algebraic approach to the theory of computing systems},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {126-142},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_676},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zakowski/75,
AUTHOR = {{\.Z}akowski, W.},
TITLE = {Continuous simple Z-machines, Z-computable functions and sets of functions of $n$ real variables},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {143-156},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_677},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dahl/75,
AUTHOR = {Dahl, Ole-Johan},
TITLE = {An approach to correctness proofs of semicoroutines},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {157-174},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_678},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dembinski/75,
AUTHOR = {Dembi{\'n}ski, P.},
TITLE = {Towards an understanding of complex processes},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {175-185},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_679},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Skowron/75,
AUTHOR = {Skowron, A.},
TITLE = {Simulation},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {186-201},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_680},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Winkowski/75,
AUTHOR = {Winkowski, J.},
TITLE = {Concurrent programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {202-221},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_681},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Crestin/75,
AUTHOR = {Crestin, J.P.},
TITLE = {Ultralinear expressions},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {222-231},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_682},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Fontet/75,
AUTHOR = {Fontet, Max},
TITLE = {A family of algebraic systems related to the theory of equations on free monoids},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {232-248},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_683},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Karpinski/75,
AUTHOR = {Karpi{\'n}ski, Marek},
TITLE = {Stretching by probabilistic tree automata and Santos grammars},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {249-255},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_684},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kral/75,
AUTHOR = {Kr{\'a}l, J.},
TITLE = {Top down versus bottom up syntax analysis revised},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {256-273},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_685},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Maluszynski/75,
AUTHOR = {Ma{\l}uszy{\'n}ski, J.},
TITLE = {Substring languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {274-284},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_686},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Owsianiecka/75,
AUTHOR = {Owsianiecka, W.A.},
TITLE = {Defining languages by Mazurkiewicz aigorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {285-291},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_687},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Piricka/75,
AUTHOR = {Pirick{\'a}, A.},
TITLE = {Complexity and normal forms of context-free languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {292-297},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_688},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechsung/75,
AUTHOR = {Wechsung, G.},
TITLE = {The axiomatization problem of a theory of linear languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {298-302},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_689},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kelemen/75,
AUTHOR = {Kelemen, Jozef},
TITLE = {A lattice-theoretical approach to problem-solving},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {303-306},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_690},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kulpa/75,
AUTHOR = {Kulpa, Zenon},
TITLE = {On the equivalence of planar grammars and parallel picture processing algorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {307-312},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_691},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lipski/75,
AUTHOR = {Lipski, Witold, Jr.},
TITLE = {Combinatorial aspects of information storage and retrieval},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {313-326},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_692},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Banachowski/75,
AUTHOR = {Banachowski, L.},
TITLE = {Modular approach to the logical theory of programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {327-332},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_693},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Blikle/75,
AUTHOR = {Blikle, A.},
TITLE = {Proving programs by sets of computations},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {333-358},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_694},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Evtimov/75,
AUTHOR = {Evtimov, V.},
TITLE = {Bases of paths in correctness proofs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {359-360},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_695},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hoehnke/75,
AUTHOR = {Hoehnke, Hans-J{\"u}rgen},
TITLE = {Algebraic models I},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {361-371},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_696},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Irlik/75,
AUTHOR = {Irlik, Jacek},
TITLE = {Structured programmability of iterative algorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {372-376},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_697},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Leszczylowski/75,
AUTHOR = {Leszczy{\l}owski, J.},
TITLE = {On equivalence of programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {377-380},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_698},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Leszczylowski/75a,
AUTHOR = {Leszczy{\l}owski, J.},
TITLE = {Mathematical model of programs with dynamic allocation of variables},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {381-387},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_699},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Miglioli/75,
AUTHOR = {Miglioli, Pierangelo},
TITLE = {Mathematical foundations of motivation languages and synthesis maps},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {388-408},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_700},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mosses/75,
AUTHOR = {Mosses, P.D.},
TITLE = {The semantics of semantic equations},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {409-422},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_701},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rasiowa/75,
AUTHOR = {Rasiowa, H.},
TITLE = {$\omega^+$-valued algorithmic logic as a tool to investigate procedures},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {423-450},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_702},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Roever/75,
AUTHOR = {de Roever, W.P.},
TITLE = {Call-by-value versus call-by-name: A proof-theoretic comparison},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {451-463},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_703},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki/75,
AUTHOR = {Salwicki, Andrzej},
TITLE = {Procedures, formal computations and models},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {464-484},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_704},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}