@incollection{van_Emde_Boas/78a,
AUTHOR = {van Emde Boas, P.},
TITLE = {The connection between modal logic and algorithmic logics},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {1-15},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Courcelle-Nivat/78,
AUTHOR = {Courcelle, B. and Nivat, M.},
TITLE = {The algebraic semantics of recursive program schemes},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {16-30},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dijkstra/78,
AUTHOR = {Dijkstra, Edsger W.},
TITLE = {Finding the correctness proof of a concurrent program},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {31-38},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kotov/78,
AUTHOR = {Kotov, V.E.},
TITLE = {An algebra for parallelism based on Petri nets},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {39-55},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mayoh/78,
AUTHOR = {Mayoh, Brian H.},
TITLE = {Data types as functions},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {56-70},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Milner/78a,
AUTHOR = {Milner, Robin},
TITLE = {Synthesis of communicating behaviour},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {71-83},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner-Thatcher-Wright/78,
AUTHOR = {Wagner, Eric G. and Thatcher, James W. and Wright, Jesse B.},
TITLE = {Programming languages as mathematical objects},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {84-101},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Auguston/78,
AUTHOR = {Auguston, M.},
TITLE = {Writing and verifying sequential files updating programs},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {102-111},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bancilhon/78,
AUTHOR = {Bancilhon, Fran{\c{c}}ois},
TITLE = {On the completeness of query languages for relational data bases},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {112-123},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Barth/78a,
AUTHOR = {Barth, Gerhard},
TITLE = {Mastering contextsensitivity in programming languages},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {124-133},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bergstra/78,
AUTHOR = {Bergstra, J.A.},
TITLE = {Decision problems concerning parallel programming},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {134-142},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dembinski-Maluszynski/78,
AUTHOR = {Dembi{\'n}ski, Piotr and Ma{\l}uszy{\'n}ski, Jan},
TITLE = {Attribute grammars and two-level grammars: A unifying approach},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {143-154},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrich/78,
AUTHOR = {Ehrich, H.-D.},
TITLE = {Extensions and implementations of abstract data type specifications},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {155-164},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrig-Rosen/78,
AUTHOR = {Ehrig, Hartmut and Rosen, Barry K.},
TITLE = {Concurrency of manipulations in multidimensional information structures},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {165-176},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrig-Kreowski-Maggiolo-Schettini-Rosen-Winkowski/78,
AUTHOR = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Maggiolo-Schettini, Andrea and Rosen, Barry K. and Winkowski, Josef},
TITLE = {Deriving structures from structures},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {177-190},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Francez-Hoare-de_Roever/78,
AUTHOR = {Francez, Nissim and Hoare, C.A.R. and de Roever, Willem P.},
TITLE = {Semantics of nondeterminism, concurrency and communication},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {191-200},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gardarin/78,
AUTHOR = {Gardarin, G.},
TITLE = {Contribution to the theory of concurrency in databases},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {201-212},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Genrich-Lautenbach/78,
AUTHOR = {Genrich, Hartmann J. and Lautenbach, Kurt},
TITLE = {Facts in place/transition-nets},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {213-231},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goetze-Nehrlich/78,
AUTHOR = {Goetze, Bernhard and Nehrlich, Werner},
TITLE = {Loop programs and classes of primitive recursive functions},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {232-238},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grabowski-Kreczmar/78,
AUTHOR = {Grabowski, M. and Kreczmar, A.},
TITLE = {Dynamic theories of real and complex numbers},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {239-249},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grigoriev/78,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {250-256},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Guessarian/78,
AUTHOR = {Guessarian, Ir{\`e}ne},
TITLE = {Some applications of algebraic semantics},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {257-266},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hogger/78,
AUTHOR = {Hogger, C.J.},
TITLE = {Goal-oriented derivation of logic programs},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {267-276},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Irlik/78,
AUTHOR = {Irlik, Jacek},
TITLE = {Transforming recursion equations to algorithms},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {277-285},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jacob/78,
AUTHOR = {Jacob, G{\'e}rard},
TITLE = {Structural invariants for some classes of structured programs},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {286-297},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janicki/78,
AUTHOR = {Janicki, Ryszard},
TITLE = {Synthesis of concurrent schemes},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {298-307},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Klette/78,
AUTHOR = {Klette, Reinhard},
TITLE = {Fast matrix multiplication by Boolean RAM in linear storage},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {308-314},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Knuth/78,
AUTHOR = {Knuth, El{\H{o}}d},
TITLE = {Cycles of partial orders},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {315-325},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lischke/78,
AUTHOR = {Lischke, Gerhard},
TITLE = {Complexity measures defined by Mazurkiewicz-algorithms},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {326-332},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lukaszewicz/78,
AUTHOR = {{\L}ukaszewicz, Leon},
TITLE = {On functional grammars},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {333-344},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Markowsky-Carter-Wegman/78,
AUTHOR = {Markowsky, George and Carter, J. Lawrence and Wegman, Mark N.},
TITLE = {Analysis of a universal class of hash functions},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {345-354},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mayer/78,
AUTHOR = {Mayer, O.},
TITLE = {A framework for producing deterministic canonical bottom-up parsers},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {355-363},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Meersman-Rozenberg/78a,
AUTHOR = {Meersman, R. and Rozenberg, G.},
TITLE = {Cooperating grammar systems},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {364-373},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Moalla-Pulou-Sifakis/78,
AUTHOR = {Moalla, M. and Pulou, J. and Sifakis, J.},
TITLE = {Synchronized Petri nets : A model for the description of non-autonomous sytems},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {374-384},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nepomniaschy/78,
AUTHOR = {Nepomniaschy, V.A.},
TITLE = {On divergence and halting problems for monadic program schemas},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {385-392},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nevalainen-Jakobsson-Berg/78,
AUTHOR = {Nevalainen, O. and Jakobsson, M. and Berg, R.},
TITLE = {Compression of clustered inverted files},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {393-402},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Parikh/78a,
AUTHOR = {Parikh, Rohit},
TITLE = {The completeness of propositional dynamic logic},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {403-415},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pettorossi/78,
AUTHOR = {Pettorossi, Alberto},
TITLE = {Improving memory utilization in transforming recursive programs},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {416-425},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pittl/78,
AUTHOR = {Pittl, Jan},
TITLE = {On two subclasses of real-time grammars},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {426-435},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ras/78,
AUTHOR = {Ra{\'s}, Zbigniew},
TITLE = {On information storage and retrieval systems --- An algebraic approach, part I},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {436-441},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Saheb-Djahromi/78,
AUTHOR = {Saheb-Djahromi, N.},
TITLE = {Probabilistic LCF},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {442-451},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki/78,
AUTHOR = {Salwicki, Andrzej},
TITLE = {On Algorithmic Theory of Stacks},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {452-461},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schiffers-Wedde/78,
AUTHOR = {Schiffers, Michael and Wedde, Horst},
TITLE = {Analyzing program solutions of coordination problems by CP-nets},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {462-473},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sifakis/78,
AUTHOR = {Sifakis, Joseph},
TITLE = {Structural properties of Petri nets},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {474-483},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sintzoff/78,
AUTHOR = {Sintzoff, Michel},
TITLE = {Ensuring correctness by arbitrary postfixed-points},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {484-492},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Slisenko/78,
AUTHOR = {Slisenko, A.O.},
TITLE = {String-matching in real time: Some properties of the data structure},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {493-496},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Spyratos-Bancilhon/78,
AUTHOR = {Spyratos, N. and Bancilhon, F.},
TITLE = {Name independence and database abstraction in the relational model},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {497-505},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Starke/78,
AUTHOR = {Starke, Peter H.},
TITLE = {Free Petri net languages},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {506-515},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ukkonen/78,
AUTHOR = {Ukkonen, Esko},
TITLE = {Transformations to produce certain covering grammars},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {516-525},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valk/78a,
AUTHOR = {Valk, R{\"u}diger},
TITLE = {On the computational power of extended Petri nets},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {526-535},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_101},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rissanen/78,
AUTHOR = {Rissanen, J.},
TITLE = {Theory of relations for databases --- A tutorial survey},
BOOKTITLE = {Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS'1978 (Zakopane, Poland, September 4-8, 1978)},
SERIES = {LNCS},
VOLUME = {64},
PAGES = {536-551},
YEAR = {1978},
EDITOR = {Winkowski, J{\'o}zef},
URL = {http://dx.doi.org/10.1007/3-540-08921-7_102},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}