@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},
}
@incollection{Albert-Maurer-Rozenberg/78,
AUTHOR = {Albert, J. and Maurer, H. and Rozenberg, G.},
TITLE = {Simple EOL forms under uniform interpretation generating CF languages},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {1-14},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Altenkamp-Mehlhorn/78,
AUTHOR = {Altenkamp, D. and Mehlhorn, K.},
TITLE = {Codes: Unequal probabilities unequal letter costs},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {15-25},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnold-Dauchet/78,
AUTHOR = {Arnold, A. and Dauchet, M.},
TITLE = {Sur l'inversion des morphismes d'arbres},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {26-35},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=26},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barth/78,
AUTHOR = {Barth, G.},
TITLE = {Grammars with dynamic control sets},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {36-51},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/78,
AUTHOR = {Beauquier, J.},
TITLE = {Ambiguit{\'e} forte},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {52-62},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=52},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman/78b,
AUTHOR = {Berman, P.},
TITLE = {Relationship between density and deterministic complexity of $NP$-complete languages},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {63-71},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=63},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berry/78,
AUTHOR = {Berry, G.},
TITLE = {Stable models of typed $\lambda$-calculi},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {72-89},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=72},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Biskup/78,
AUTHOR = {Biskup, J.},
TITLE = {Path measures of Turing machines computations},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {90-104},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=90},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boe/78,
AUTHOR = {Boe, J.M.},
TITLE = {Une famille remarquable de codes ind{\'e}composables},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {105-112},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=105},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Greibach-Wrathall/78,
AUTHOR = {Book, R.V. and Greibach, S. and Wrathall, C.},
TITLE = {Comparisons and reset machines},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {113-124},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=113},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Commentz-Walter/78,
AUTHOR = {Commentz-Walter, B.},
TITLE = {Size-depth tradeoff in Boolean formulas},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {125-141},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=125},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coppo-Dezani-Ciancaglini-Ronchi/78,
AUTHOR = {Coppo, M. and Dezani-Ciancaglini, M. and Ronchi, S.},
TITLE = {(Semi)-separability of finite sets of terms in Scott's $D_\infty$-models of the $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {142-164},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=142},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cremers-Hibbard/78b,
AUTHOR = {Cremers, A.B. and Hibbard, T.N.},
TITLE = {Mutual exclusion of N processors using an $O(N)$-valued message variable},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {165-176},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=165},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Fehr/78,
AUTHOR = {Damm, W. and Fehr, E.},
TITLE = {On the power of self-application and higher type recursion},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {177-191},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=177},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dobkin-Munro/78,
AUTHOR = {Dobkin, D. and Munro, I.},
TITLE = {Time and space bounds for selection problems},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {192-204},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=192},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Kreowski-Padawitz/78,
AUTHOR = {Ehrig, H. and Kreowski, H.J. and Padawitz, P.},
TITLE = {Stepwise specification and implementation of abstract data types},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {205-226},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=205},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fortune-Hopcroft-Schmidt/78,
AUTHOR = {Fortune, S. and Hopcroft, J. and Schmidt, E.M.},
TITLE = {The complexity of equivalence and containment for free single variable program schemes},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {227-240},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=227},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galil/78a,
AUTHOR = {Galil, Z.},
TITLE = {On improving the worst case running time of the Boyer-Moore string matching algorithm},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {241-250},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=241},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gallier/78,
AUTHOR = {Gallier, J.},
TITLE = {Semantics and correctness of nondeterministic flowchart programs with recursive procedures},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {251-267},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=251},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Harel/78,
AUTHOR = {Harel, G.},
TITLE = {Arithmetical completeness in logics of programs},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {268-288},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=268},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Itai-Rodeh/78,
AUTHOR = {Itai, A. and Rodeh, M.},
TITLE = {Covering a graph by circuits},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {289-299},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lingas/78,
AUTHOR = {Lingas, A.},
TITLE = {A P-SPACE complete problem related to a pebble game},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {300-321},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=300},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mignotte/78,
AUTHOR = {Mignotte, M.},
TITLE = {Some effective results about linear recursive sequences},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {322-329},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nijholt/78,
AUTHOR = {Nijholt, A.},
TITLE = {On the parsing and covering of simple chain grammars},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {330-344},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=330},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/78,
AUTHOR = {Pin, J.E.},
TITLE = {Sur un cas particulier de la conjecture de Cerny},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {345-352},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=345},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Price-Wotschke/78,
AUTHOR = {Price, J.K. and Wotschke, D.},
TITLE = {States can sometimes do more than stack symbols in PDA's},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {353-362},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=353},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Restivo/78,
AUTHOR = {Restivo, A.},
TITLE = {Some decision results for recognizable sets in arbitrary monoids},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {363-371},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=363},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reutenauer/78,
AUTHOR = {Reutenauer, C.},
TITLE = {Sur les s{\'e}ries rationnelles en variables non commutatives},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {372-381},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=372},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Saarinen/78,
AUTHOR = {Saarinen, M.},
TITLE = {On constructing efficient evaluators for attribute grammars},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {382-397},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=382},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Salle/78,
AUTHOR = {Sall{\'e}, P.},
TITLE = {Une extension de la th{\'e}orie des types en $\lambda$-calcul},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {398-410},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=398},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savitch/78,
AUTHOR = {Savitch, W.},
TITLE = {Parallel and nondeterministic time complexity classes},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {411-424},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=411},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schnorr/78b,
AUTHOR = {Schnorr, C.P.},
TITLE = {Multiterminal network flow and connectivity in unsymmetrical networks},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {425-439},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=425},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sciore-Tang/78,
AUTHOR = {Sciore, E. and Tang, A.},
TITLE = {Admissible coherent c.p.o.'s},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {440-456},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=440},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Toffoli/78,
AUTHOR = {Toffoli, T.},
TITLE = {Integration of the phase-difference relations in asynchronous, sequential networks},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {457-463},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=457},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/78,
AUTHOR = {Valk, R.},
TITLE = {Self-modifying nets, a natural extension of Petri nets},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {464-476},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=464},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Venturini_Zilli/78,
AUTHOR = {Venturini Zilli, M.},
TITLE = {Head recurrent terms in combinatory logic: A generalization of the notion of head normal form},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {477-493},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=477},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiehagen/78,
AUTHOR = {Wiehagen, R.},
TITLE = {Characterization problems in the theory of inductive inference},
BOOKTITLE = {Proceedings of the 5th International Colloquium on Automata, Languages and Programming, ICALP'78 (Udine, Italy, July 17-21, 1978)},
SERIES = {LNCS},
VOLUME = {62},
PAGES = {494-508},
YEAR = {1978},
EDITOR = {Ausiello, G. and B{\"o}hm, C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=62&spage=494},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}