@incollection{Kowalski/84,
AUTHOR = {Kowalski, R.A.},
TITLE = {Logic for knowledge representation},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {1-12},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Maibaum-Sadler-Veloso/84,
AUTHOR = {Maibaum, T.S.E. and Sadler, M.R. and Veloso, P.A.S.},
TITLE = {Logical specification and implementation},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {13-30},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ramanujam-Shyamasundar/84,
AUTHOR = {Ramanujam, R. and Shyamasundar, R.K.},
TITLE = {Process specification of logic programs},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {31-43},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Goswami-Patnaik/84,
AUTHOR = {Goswami, Asis K. and Patnaik, L.M.},
TITLE = {Functional programming systems revisited},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {44-59},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Myers-Cohen/84,
AUTHOR = {Myers, Thomas J. and Cohen, A. Toni},
TITLE = {Models and transformations for nondeterministic extensions of functional programming},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {60-88},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Nielsen-Thiagarajan/84,
AUTHOR = {Nielsen, M. and Thiagarajan, P.S.},
TITLE = {Degrees of non-determinism and concurrency: A Petri net view},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {89-117},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Taubenfeld-Francez/84,
AUTHOR = {Taubenfeld, Gad and Francez, Nissim},
TITLE = {Proof rules for communication abstractions},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {118-118},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
NOTE = {see page number 443-465},
}
@incollection{Natarajan/84,
AUTHOR = {Natarajan, N.},
TITLE = {A distributed algorithm for detecting communication deadlocks},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {119-135},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Debray-Frank-Smolka/84,
AUTHOR = {Debray, Saumya K. and Frank, Ariel J. and Smolka, Scott A.},
TITLE = {On the existence and construction of robust communication protocols for unreliable channels},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {136-151},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bhattacharya-Ghose-Sinha-Srimani/84,
AUTHOR = {Bhattacharya, Bhargab B. and Ghose, Suranjan and Sinha, Bhabani P. and Srimani, Pradip K.},
TITLE = {Heuristic search approach to optimal routing in a distributed architecture},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {152-164},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Beynon/84a,
AUTHOR = {Beynon, Meurig},
TITLE = {Replacement in monotone Boolean networks: An algebraic perspective},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {165-178},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Zachos-Heller/84,
AUTHOR = {Zachos, Stathis and Heller, Hans},
TITLE = {A new characterization of BPP},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {179-187},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Krithivasan-Das/84,
AUTHOR = {Krithivasan, Kamala and Das, Anindya},
TITLE = {Treating terminals as function values of time},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {188-201},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Parikh/84,
AUTHOR = {Parikh, Rohit},
TITLE = {Logics of knowledge, games and dynamic logic},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {202-222},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Atkinson-Morrison/84,
AUTHOR = {Atkinson, Malcolm P. and Morrison, Ronald},
TITLE = {Persistent first class procedures are enough},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {223-240},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Studer/84,
AUTHOR = {Studer, R.},
TITLE = {Abstraction concepts for modeling screen oriented dialogue interfaces},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {241-258},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kane-Sahni/84,
AUTHOR = {Kane, Rajiv and Sahni, Sartaj},
TITLE = {VLSI systems for design rule checks},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {259-278},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Levcopoulos-Lingas/84a,
AUTHOR = {Levcopoulos, Christos and Lingas, Andrzej},
TITLE = {Bounds on the length of convex partitions of polygons},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {279-295},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ramakrishnan-Varman/84,
AUTHOR = {Ramakrishnan, I.V. and Varman, P.J.},
TITLE = {On mapping cube graphs onto VLSI arrays},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {296-316},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ghosh/84,
AUTHOR = {Ghosh, S.K.},
TITLE = {A linear-time algorithm for determining the intersection type of two star polygons},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {317-330},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Buckley-Silberschatz/84,
AUTHOR = {Buckley, Gael N. and Silberschatz, A.},
TITLE = {Eliminating cascading rollback in structured databases},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {331-343},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lakshmanan-Chandraskaran-Veni_Madhavan/84,
AUTHOR = {Lakshmanan, V.S. and Chandraskaran, N. and Veni Madhavan, C.E.},
TITLE = {Recognition and top-down generation of $\beta$-acyclic database schemes},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {344-366},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jajodia/84,
AUTHOR = {Jajodia, Sushil},
TITLE = {Universal and representative instances using unmarked nulls},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {367-378},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Santis-Sessa/84,
AUTHOR = {de Santis, F. and Sessa, M.I.},
TITLE = {On some computational problems related to data base coding},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {379-379},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Poizat/84,
AUTHOR = {Poizat, Bruno},
TITLE = {Generic oracles},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {380-380},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Veni_Madhavan/84a,
AUTHOR = {Veni Madhavan, C.E.},
TITLE = {Approximation algorithm for maximum independent set in planar triangle-free graphs},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {381-392},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Regnier/84,
AUTHOR = {Regnier, Mireille},
TITLE = {Grid file algorithms: An analysis in the biased case},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {393-418},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Pal-Bagchi/84,
AUTHOR = {Pal, A.K. and Bagchi, A.},
TITLE = {On the mean weight balance factor of binary trees},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {419-434},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gupta-Bhattacharjee/84,
AUTHOR = {Gupta, P. and Bhattacharjee, G.P.},
TITLE = {An efficient algorithm for random sampling without replacement},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {435-442},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Taubenfeld-Francez/84a,
AUTHOR = {Taubenfeld, Gadi and Francez, Nissim},
TITLE = {Proof rules for communication abstractions},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {443-465},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
NOTE = {see page number 118-118},
}
@incollection{Balcazar/84,
AUTHOR = {Balc{\'a}zar, Jos{\'e} Luis},
TITLE = {Separating, strongly separating, and collapsing relativized complexity classes},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {1-16},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030286},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Chistov-Grigorev/84,
AUTHOR = {Chistov, A.L. and Grigor'ev, D.Yu.},
TITLE = {Complexity of quantifier elimination in the theory of algebraically closed fields},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {17-31},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gruska/84,
AUTHOR = {Gruska, Jozef},
TITLE = {Systolic automata --- Power, characterizations, nonhomogeneity},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {32-49},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030288},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hoffmann/84,
AUTHOR = {Hoffmann, Christoph M.},
TITLE = {A note on unique decipherability},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {50-63},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030289},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hotz/84,
AUTHOR = {Hotz, G{\"u}nter},
TITLE = {Outline of an algebraic language theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {64-79},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030290},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jantzen/84,
AUTHOR = {Jantzen, Matthias},
TITLE = {Thue systems and the Church-Rosser property},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {80-95},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Longo/84,
AUTHOR = {Longo, G.},
TITLE = {Limits, higher type computability and type-free languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {96-114},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Mazurkiewicz/84,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Traces, histories, graphs: Instances of a process monoid},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {115-133},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Perrin/84a,
AUTHOR = {Perrin, Dominique},
TITLE = {Recent results on automata and infinite words},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {134-148},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030294},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Preparata/84,
AUTHOR = {Preparata, Franco P.},
TITLE = {VLSI algorithms and architectures},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {149-161},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Semenov/84,
AUTHOR = {Semenov, A.L.},
TITLE = {Decidability of monadic theories},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {162-175},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030296},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Albert/84,
AUTHOR = {Albert, J.},
TITLE = {On the Ehrenfeucht conjecture on test sets and its dual version},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {176-184},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Balcazar-Book-Schoning/84,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Book, Ronald V. and Sch{\"o}ning, Uwe},
TITLE = {Sparse oracles, lowness, and highness},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {185-193},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Beauquier-Thimonier/84,
AUTHOR = {Beauquier, Joffroy and Thimonier, Lo{\"y}s},
TITLE = {Computability of probabilistic parameters for some classes of formal languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {194-204},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Brandenburg/84,
AUTHOR = {Brandenburg, Franz Josef},
TITLE = {A truely morphic characterization of recursively enumerable sets},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {205-213},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Broy/84b,
AUTHOR = {Broy, Manfred},
TITLE = {On the Herbrand Kleene universe for nondeterministic computations},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {214-222},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Burkhard/84,
AUTHOR = {Burkhard, H.D.},
TITLE = {An investigation of controls for concurrent systems by abstract control languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {223-231},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Cerny/84,
AUTHOR = {{\v{C}}ern{\'y}, A.},
TITLE = {On generalized words of Thue-Morse},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {232-239},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Chrobak/84a,
AUTHOR = {Chrobak, Marek},
TITLE = {Nondeterminism is essential for two-way counter machines},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {240-244},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Costa-Stirling/84a,
AUTHOR = {Costa, Gerardo and Stirling, Colin},
TITLE = {Weak and strong fairness in CCS},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {245-254},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Daley-Smith/84,
AUTHOR = {Daley, Robert P. and Smith, Carl H.},
TITLE = {On the complexity of inductive inference},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {255-264},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030306},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Edelsbrunner-Welzl/84,
AUTHOR = {Edelsbrunner, Herbert and Welzl, Emmerich},
TITLE = {Monotone edge sequences in line arrangements and applications},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {265-272},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030307},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Enjalbert-Michel/84,
AUTHOR = {Enjalbert, P. and Michel, M.},
TITLE = {Many-sorted temporal logic for multi-processes systems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {273-281},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030308},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Habasinski/84,
AUTHOR = {Habasi{\'n}ski, Z.},
TITLE = {Process logics: Two decidability results},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {282-290},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hemmerling-Kriegel/84,
AUTHOR = {Hemmerling, A. and Kriegel, K.},
TITLE = {On searching of special classes of mazes and finite embedded graphs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {291-300},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hennessy-Stirling/84,
AUTHOR = {Hennessy, M. and Stirling, C.},
TITLE = {The power of the future perfect in program logics},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {301-311},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030311},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hromkovic/84a,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Hierarchy of reversal and zerotesting bounded multicounter machines},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {312-321},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030312},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hromkovic/84b,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {On the power of alternation in finite automata},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {322-329},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ibarra-Rosier/84,
AUTHOR = {Ibarra, Oscar H. and Rosier, Louis E.},
TITLE = {The equivalence problem and correctness formulas for a simple class of programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {330-338},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jaromczyk/84,
AUTHOR = {Jaromczyk, Jerzy W.},
TITLE = {Lower bounds for polygon simplicity testing and other problems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {339-347},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kanovic/84,
AUTHOR = {Kanovi{\v{c}}, M.I.},
TITLE = {A uniform independence of invariant sentences},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {348-354},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Karhumaki-Kleijn/84,
AUTHOR = {Karhum{\"a}ki, J. and Kleijn, H.C.M.},
TITLE = {On the equivalence of compositions of morphisms and inverse morphisms on regular languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {355-363},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kowalczyk/84,
AUTHOR = {Kowalczyk, Wojciech},
TITLE = {Some connections between presentability of complexity classes and the power of formal systems of reasoning},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {364-369},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kucera/84,
AUTHOR = {Ku{\v{c}}era, L.},
TITLE = {Finding a maximum flow in /s,t/-planar network in linear expected time},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {370-377},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lange/84,
AUTHOR = {Lange, Klaus-J{\"o}rn},
TITLE = {Nondeterministic logspace reductions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {378-388},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030320},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lenstra/84b,
AUTHOR = {Lenstra, Arjen K.},
TITLE = {Factoring multivariate polynomials over algebraic number fields},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {389-396},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Longo-Moggi/84,
AUTHOR = {Longo, G. and Moggi, E.},
TITLE = {G{\"o}del numberings, principal morphisms, combinatory algebras: A category-theoretic characterization of functional completeness},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {397-406},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Luca-Restivo/84,
AUTHOR = {de Luca, Aldo and Restivo, Antonio},
TITLE = {Representations of integers and language theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {407-415},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Moravek-Pudlak/84,
AUTHOR = {Mor{\'a}vek, Jaroslav and Pudl{\'a}k, Pavel},
TITLE = {New lower bound for polyhedral membership problem with an application to linear programming},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {416-424},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030324},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Nepomnjashchaja/84,
AUTHOR = {Nepomnjashchaja, A.Sh.},
TITLE = {Decidability of the equivalence problem for synchronous deterministic pushdown automata},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {425-432},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{De_Nicola/84,
AUTHOR = {De Nicola, Rocco},
TITLE = {Models and operators for nondeterministic processes},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {433-442},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Oommen/84,
AUTHOR = {Oommen, B. John},
TITLE = {Algorithms for string editing which permit arbitrarily complex edit constraints},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {443-451},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Orponen-Schoning/84,
AUTHOR = {Orponen, Pekka and Sch{\"o}ning, Uwe},
TITLE = {The structure of polynomial complexity cores},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {452-458},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ottmann-Widmayer/84,
AUTHOR = {Ottmann, Thomas and Widmayer, Peter},
TITLE = {Solving visibility problems by using skeleton structures},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {459-470},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Poigne/84a,
AUTHOR = {Poign{\'e}, Axel},
TITLE = {Another look at parameterization using algebras with subsorts},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {471-479},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030330},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Pudlak/84,
AUTHOR = {Pudl{\'a}k, P.},
TITLE = {A lower bound on complexity of branching programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {480-489},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Reiterman-Trnkova/84,
AUTHOR = {Reiterman, Jan and Trnkov{\'a}, V{\v{e}}ra},
TITLE = {From dynamic algebras to test algebras},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {490-497},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030332},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Robson/84b,
AUTHOR = {Robson, J.M.},
TITLE = {Combinatorial games with exponential space complete decision problems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {498-506},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030333},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rytter/84a,
AUTHOR = {Rytter, Wojciech},
TITLE = {Fast recognitions of pushdown automaton and context-free languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {507-515},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Starke/84,
AUTHOR = {Starke, Peter H.},
TITLE = {Multiprocessor systems and their concurrency},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {516-525},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030335},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Tarlecki/84,
AUTHOR = {Tarlecki, Andrzej},
TITLE = {Free constructions in algebraic institutions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {526-534},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Tiuryn-Urzyczyn/84,
AUTHOR = {Tiuryn, Jerzy and Urzyczyn, Pawe{\l}},
TITLE = {Remarks on comparing expressive power of logics of programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {535-543},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030337},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Wagner/84,
AUTHOR = {Wagner, K.},
TITLE = {The complexity of problems concerning graphs with regularities},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {544-552},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030338},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Wegener/84a,
AUTHOR = {Wegener, I.},
TITLE = {On the complexity of slice functions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {553-561},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Zak/84,
AUTHOR = {{\v{Z}}{\'a}k, Stanislav},
TITLE = {An exponential lower bound for one-time-only branching programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {562-566},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Sipser/84,
AUTHOR = {Sipser, Michael},
TITLE = {A topological view of some problems in complexity theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {567-572},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Danecki/84,
AUTHOR = {Danecki, Ryszard},
TITLE = {Propositional dynamic logic with strong loop predicate},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {573-581},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030342},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Della_Dora-Tournier/84,
AUTHOR = {Della Dora, J. and Tournier, E.},
TITLE = {Homogeneous linear difference equation (Frobenius-Boole method)},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {2-12},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=2},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watanabe/84,
AUTHOR = {Watanabe, S.},
TITLE = {An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {13-22},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=13},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Glinos-Saunders/84,
AUTHOR = {Glinos, N. and Saunders, B.D.},
TITLE = {Operational calculus techniques for solving differential equations},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {23-34},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=23},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cesareo-Marino/84,
AUTHOR = {Cesareo, G. and Marino, R.},
TITLE = {On the application of symbolic computation to nonlinear control theory},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {35-46},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=35},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{aman-dInverno-Joly-MacCallum/84,
AUTHOR = {{\AA}man, J.E. and d'Inverno, R.A. and Joly, G.C. and MacCallum, M.A.H.},
TITLE = {Quartic equations and algorithms for Riemann tensor classification},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {47-58},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wilkerson/84,
AUTHOR = {Wilkerson, R.W.},
TITLE = {Symbolic computation and the Dirichlet problem},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {59-63},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=59},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Viry/84,
AUTHOR = {Viry, G.},
TITLE = {Simplification of polynomials in $n$ variables},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {64-73},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=64},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Navarro-Orejas/84,
AUTHOR = {Navarro, M. and Orejas, F.},
TITLE = {On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {74-85},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=74},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wang/84a,
AUTHOR = {Wang, P.S.},
TITLE = {Implementation of a $p$-adic package for polynomial factorization and other related operations},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {86-99},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=86},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dicrescenzo-Duval/84,
AUTHOR = {Dicrescenzo, C. and Duval, D.},
TITLE = {Computations on curves},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {100-107},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=100},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berry/84,
AUTHOR = {Berry, T.G.},
TITLE = {Detecting torsion divisors on curves of genus 2},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {108-114},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=108},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Najid-Zejli/84,
AUTHOR = {Najid-Zejli, H.},
TITLE = {Computation in radical extensions},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {115-122},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=115},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jenks/84,
AUTHOR = {Jenks, R.D.},
TITLE = {A primer: 11 keys to new Scratchpad},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {123-147},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=123},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fitch-Padget/84,
AUTHOR = {Fitch, J.P. and Padget, J.A.},
TITLE = {A pure and really simple initial functional algebraic language},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {148-158},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti/84,
AUTHOR = {Giusti, M.},
TITLE = {Some effectivity problems in polynomial ideal theory},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {159-171},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=159},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller-Mora/84,
AUTHOR = {M{\"o}ller, H.M. and Mora, F.},
TITLE = {Upper and lower bounds for the degree of Groebner bases},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {172-183},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=172},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winkler/84,
AUTHOR = {Winkler, F.},
TITLE = {On the complexity of the Groebner-bases algorithm over K[x,y,z]},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {184-194},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=184},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kandri-Rody-Kapur/84,
AUTHOR = {Kandri-Rody, A. and Kapur, D.},
TITLE = {Algorithms for computing Gr{\"o}bner bases of polynomial ideals over various Euclidean rings},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {195-206},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=195},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gilman/84,
AUTHOR = {Gilman, R.H.},
TITLE = {Computations with rational subsets of confluent groups},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {207-212},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Leon/84,
AUTHOR = {Leon, J.S.},
TITLE = {CAMAC2: A portable system for combinatorial and algebraic computation},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {213-224},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=213},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Landau/84,
AUTHOR = {Landau, S.},
TITLE = {Polynomial time algorithms for Galois groups},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {225-236},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=225},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wang-Chang-Hulzen/84,
AUTHOR = {Wang, P.S. and Chang, T.Y.P. and Hulzen, J.A. van},
TITLE = {Code generation and optimization for finite element analysis},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {237-247},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=237},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czapor-Geddes/84,
AUTHOR = {Czapor, S.R. and Geddes, K.O.},
TITLE = {A comparison of algorithms for the symbolic computation of Pad{\'e} approximants},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {248-259},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=248},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hulshof-Hulzen/84,
AUTHOR = {Hulshof, B.J.A. and Hulzen, J.A. van},
TITLE = {Automatic error cumulation control},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {260-271},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=260},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lenstra/84a,
AUTHOR = {Lenstra, A.K.},
TITLE = {Polynomial factorization by root approximation},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {272-276},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=272},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen/84a,
AUTHOR = {Kaltofen, E.},
TITLE = {Effective Hilbert irreducibility},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {277-284},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=277},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Char-Geddes-Gonnet/84,
AUTHOR = {Char, B.W. and Geddes, K.O. and Gonnet, G.H.},
TITLE = {GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {285-296},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=285},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lugiez/84,
AUTHOR = {Lugiez, D.},
TITLE = {A new lifting process for the multivariate polynomial factorization},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {297-309},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=297},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Yui/84,
AUTHOR = {Kaltofen, E. and Yui, N.},
TITLE = {Explicit construction of the Hilbert class fields of imaginary quadratic fields with class numbers 7 and 11},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {310-320},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=310},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Huang/84,
AUTHOR = {Huang, M.-D.A.},
TITLE = {On a simple primality testing algorithm},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {321-332},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=321},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchmann/84,
AUTHOR = {Buchmann, J.},
TITLE = {A criterion for the equivalence of two ideals},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {333-340},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=333},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Davenport/84,
AUTHOR = {Davenport, J.H.},
TITLE = {$y' + fy = g$},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {341-350},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=341},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cherry-Caviness/84,
AUTHOR = {Cherry, G.W. and Caviness, B.F.},
TITLE = {Integration in finite terms with special functions: A progress report},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {351-358},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=351},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen/84,
AUTHOR = {Kaltofen, E.},
TITLE = {A note on the Risch differential equation},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {359-366},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=359},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thull/84,
AUTHOR = {Thull, K.},
TITLE = {Approximation by continued fraction of a polynomial real root},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {367-377},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=367},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mignotte/84,
AUTHOR = {Mignotte, M.},
TITLE = {On the automatic resolution of certain diophantine equations},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {378-385},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=378},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rothstein/84,
AUTHOR = {Rothstein, M.},
TITLE = {On pseudo-resultants},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Symbolic and Algebraic Computation, EUROSAM'84 (Cambridge, England, July 9-11, 1984)},
SERIES = {LNCS},
VOLUME = {174},
PAGES = {386-396},
YEAR = {1984},
EDITOR = {Fitch, John},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=174&spage=386},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore/84,
AUTHOR = {Crochemore, M.},
TITLE = {Linear searching for a square in a word},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {137},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=13},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pecuchet/84,
AUTHOR = {P{\'e}cuchet, J.P.},
TITLE = {Automates boustroph{\'e}don, semi-groupe de Birget et monoide inversif libre},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {390},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=39},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fagin-Vardi/84,
AUTHOR = {Fagin, R. and Vardi, M.Y.},
TITLE = {The theory of data dependencies - an overview},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {1-22},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rosenberg/84,
AUTHOR = {Rosenberg, A.L.},
TITLE = {The VLSI revolution in theoretical circles},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {23-40},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=23},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abiteboul-Ginsburg/84,
AUTHOR = {Abiteboul, S. and Ginsburg, S.},
TITLE = {Tuple sequences and indexes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {41-50},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=41},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Afrati-Papadimitriou-Papageorgiou/84,
AUTHOR = {Afrati, F. and Papadimitriou, C.H. and Papageorgiou, G.},
TITLE = {The complexity of cubical graphs},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {51-57},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=51},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Fleischhack-Huwig/84,
AUTHOR = {Ambos-Spies, K. and Fleischhack, H. and Huwig, H.},
TITLE = {P-generic sets},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {58-68},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Atzeni-Morfuni/84,
AUTHOR = {Atzeni, P. and Morfuni, N.M.},
TITLE = {Functional dependencies and disjunctive existence constraints in database relations with null values},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {69-81},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=69},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergstra-Klop/84a,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {The algebra of recursively defined processes and the algebra of regular processes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {82-94},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=82},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bidoit/84,
AUTHOR = {Bidoit, M.},
TITLE = {Algebraic specification of exception handling and error recovery by means of declarations and equations},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {95-108},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blumer-Blumer-Ehrenfeucht-Haussler-McConnell/84,
AUTHOR = {Blumer, A. and Blumer, J. and Ehrenfeucht, A. and Haussler, D. and McConnell, R.},
TITLE = {Building the minimal DFA for the set of all subwords of a word on-line in linear time},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {109-118},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=109},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Ottmann-Soisalon-Soininen-Wood/84,
AUTHOR = {Chazelle, B. and Ottmann, T. and Soisalon-Soininen, E. and Wood, D.},
TITLE = {The complexity and decidability of separation},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {119-127},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=119},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Colbourn-Proskurowski/84,
AUTHOR = {Colbourn, C.J. and Proskurowski, A.},
TITLE = {Concurrent transmissions in broadcast networks},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {128-136},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=128},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dybjer/84,
AUTHOR = {Dybjer, P.},
TITLE = {Domain algebras},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {138-150},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferment/84,
AUTHOR = {Ferment, D.},
TITLE = {Principality results about some matrix language families},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {151-161},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=151},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fribourg/84,
AUTHOR = {Fribourg, L.},
TITLE = {Oriented equational clauses as a programming language},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {162-173},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=162},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gardy-Puech/84,
AUTHOR = {Gardy, D. and Puech, C.},
TITLE = {Relational algebra operations and sizes of relations},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {174-186},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=174},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Girault-Beauquier/84,
AUTHOR = {Girault-Beauquier, D.},
TITLE = {Some results about finite and infinite behaviours of a pushdown automaton},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {187-195},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=187},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goltz-Mycroft/84,
AUTHOR = {Goltz, U. and Mycroft, A.},
TITLE = {On the relationship of CCS and Petri nets},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {196-208},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=196},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gouda-Rosier/84,
AUTHOR = {Gouda, M.G. and Rosier, L.E.},
TITLE = {Communicating finite state machines with priority channels},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {209-221},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=209},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graf-Sifakis/84,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {A modal characterization of observational congruence on finite terms of CCS},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {222-234},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=222},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic/84,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Communication complexity},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {235-246},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=235},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Kim-Rosier/84,
AUTHOR = {Ibarra, O.H. and Kim, S.M. and Rosier, L.E.},
TITLE = {Space and time efficient simulations and characterizations of some restricted classes of PDAS},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {247-259},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=247},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Izumi-Inagaki-Honda/84,
AUTHOR = {Izumi, H. and Inagaki, Y. and Honda, N.},
TITLE = {A complete axiom system for algebra of closed-regular expression},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {260-269},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=260},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jerrum/84,
AUTHOR = {Jerrum, M.},
TITLE = {The complexity of finding minimum-length generator sequences},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {270-280},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jung/84,
AUTHOR = {Jung, H.},
TITLE = {On probabilistic tape complexity and fast circuits for matrix inversion problems},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {281-291},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=281},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/84b,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {On three-element codes},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {292-302},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=292},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirschenhofer-Prodinger/84,
AUTHOR = {Kirschenhofer, P. and Prodinger, H.},
TITLE = {Recursion depth analysis for special tree traversal algorithms},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {303-311},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=303},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lagarias/84,
AUTHOR = {Lagarias, J.C.},
TITLE = {Performance analysis of Shamir's attack on the basic Merkle-Hellman knapsack cryptosystem},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {312-323},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=312},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mannila/84,
AUTHOR = {Mannila, H.},
TITLE = {Measures of presortedness and optimal sorting algorithms},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {324-336},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=324},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Margolis-Pin/84,
AUTHOR = {Margolis, S.W. and Pin, J.E.},
TITLE = {Languages and inverse semigroups},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {337-346},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=337},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Preparata/84,
AUTHOR = {Mehlhorn, K. and Preparata, F.P.},
TITLE = {Area-time optimal VLSI integer multiplier with minimum computation time},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {347-357},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=347},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/84,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {On the interpretation of infinite computations in logic programming},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {358-370},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=358},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paige-Tarjan/84,
AUTHOR = {Paige, R. and Tarjan, R.E.},
TITLE = {A linear time algorithm to solve the single function coarsest partition problem},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {371-379},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=371},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pansiot/84,
AUTHOR = {Pansiot, J.J.},
TITLE = {Complexit{\'e} des facteurs des mots infinis engendr{\'e}s par morphismes it{\'e}r{\'e}s},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {380-389},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=380},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reif-Spirakis/84,
AUTHOR = {Reif, J. and Spirakis, P.},
TITLE = {Probabilistic bidding gives optimal distributed resource allocation},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {391-402},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=391},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/84,
AUTHOR = {Reisig, W.},
TITLE = {Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {403-413},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=403},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Restivo-Reutenauer/84a,
AUTHOR = {Restivo, A. and Reutenauer, C.},
TITLE = {Cancellation, pumping and permutation in formal languages},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {414-422},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=414},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ron-Rosemberg-Pnueli/84,
AUTHOR = {Ron, D. and Rosemberg, F. and Pnueli, A.},
TITLE = {A hardware implementation of the CSP primitives and its verification},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {423-435},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=423},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schonhage/84,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {Factorization of univariate integer polynomials by diophantine approximation and an improved basis reduction algorithm},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {436-447},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=436},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoning/84b,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {Robust algorithms: A different approach to oracles},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {448-453},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=448},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spencer-Mayr/84,
AUTHOR = {Spencer, T.H. and Mayr, E.W.},
TITLE = {Node weighted matching},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {454-464},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=454},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Streett-Emerson/84,
AUTHOR = {Streett, R.S. and Emerson, E.A.},
TITLE = {The propositional Mu-calculus is elementary},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {465-472},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=465},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tsakalidis/84a,
AUTHOR = {Tsakalidis, A.K.},
TITLE = {AVL-trees for localized search},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {473-485},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=473},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vitanyi/84b,
AUTHOR = {Vit{\'a}nyi, P.M.B.},
TITLE = {The simple roots of real-time computation hierarchies},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {486-489},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=486},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vitter/84,
AUTHOR = {Vitter, J.S.},
TITLE = {Computational complexity of an optical disk interface},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {490-502},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=490},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Welzl/84,
AUTHOR = {Welzl, E.},
TITLE = {Encoding graphs by derivations and implications for the theory of graph grammars},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {503-513},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=503},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Willard/84b,
AUTHOR = {Willard, D.E.},
TITLE = {Sampling algorithms for differential batch retrieval problems},
BOOKTITLE = {Proceedings of the 11th International Colloquium on Automata, Languages and Programming, ICALP'84 (Antwerp, Belgium, July 16-20, 1984)},
SERIES = {LNCS},
VOLUME = {172},
PAGES = {514-526},
YEAR = {1984},
EDITOR = {Paredaens, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=172&spage=514},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner/84,
AUTHOR = {Edelsbrunner, H.},
TITLE = {Key-problems and key-methods in computational geometry},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {1-13},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berstel/84,
AUTHOR = {Berstel, J.},
TITLE = {Some recent results on squarefree words},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {14-25},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog-Apt/84,
AUTHOR = {Olderog, E.R. and Apt, K.R.},
TITLE = {Transformations realizing fairness assumptions for parallel programs},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {26-42},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Drysdale-Lee/84,
AUTHOR = {Chazelle, B. and Drysdale, R.L. and Lee, D.T.},
TITLE = {Computing the largest empty rectangle},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {43-54},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hochbaum-Maass/84,
AUTHOR = {Hochbaum, D.S. and Maass, W.},
TITLE = {Approximation schemes for covering and packing problems in robotics and VLSI},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {55-62},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Lingas/84,
AUTHOR = {Levcopoulos, C. and Lingas, A.},
TITLE = {Covering polygons with minimum number of rectangles},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {63-72},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Josko/84,
AUTHOR = {Josko, B.},
TITLE = {On expressive interpretation of a Hoare-logic for Clarke's language L4},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {73-84},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Drosten/84,
AUTHOR = {Drosten, K.},
TITLE = {Towards executable specifications using conditional axioms},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {85-96},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Perdrix/84,
AUTHOR = {Perdrix, H.},
TITLE = {Propri{\'e}t{\'e}s Church-Rosser de syst mes de r{\'e}{\'e}criture {\'e}quationnels ayant la propri{\'e}t{\'e} de terminaison faible},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {97-108},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kemp/84,
AUTHOR = {Kemp, R.},
TITLE = {On a general weight of trees},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {109-120},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shamir/84,
AUTHOR = {Shamir, E.},
TITLE = {From expanders to better superconcentrators without cascading},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {121-128},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Belaga/84,
AUTHOR = {Belaga, E.G.},
TITLE = {Locally synchronous complexity in the light of the trans-box method},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {129-139},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=129},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winskel/84,
AUTHOR = {Winskel, G.},
TITLE = {A new definition of morphism on Petri nets},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {140-150},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Finkel/84,
AUTHOR = {Finkel, A.},
TITLE = {Blocage et vivacit{\'e} dans les r{\'e}seaux {\`a} pile-file},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {151-162},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broy/84,
AUTHOR = {Broy, M.},
TITLE = {Denotational semantics of concurrent programs with shared memory},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {163-173},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Poigne/84,
AUTHOR = {Poigne, A.},
TITLE = {Higher order data structures - Cartesian closure versus $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {174-185},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Longo-Martini/84,
AUTHOR = {Longo, G. and Martini, S.},
TITLE = {Computability in higher types and the universal domain $P_{\omega}$},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {186-197},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies/84,
AUTHOR = {Ambos-Spies, K.},
TITLE = {On the structure of polynomial time degrees},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {198-208},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=198},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sykora-Vrto/84,
AUTHOR = {S{\'y}kora, O. and Vr{\v{t}}o, I.},
TITLE = {Optimal layouts of the tree of meshes with vertices on the perimeter of the bounding convex region},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {209-217},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer/84,
AUTHOR = {Meyer, F.},
TITLE = {Efficient simulations among several models of parallel computers},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {218-229},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pansiot/84a,
AUTHOR = {Pansiot, J.J.},
TITLE = {Bornes inf{\'e}rieures sur la complexit{\'e} des facteurs des mots infinis engendr{\'e}s par morphismes it{\'e}r{\'e}s},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {230-240},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Head/84,
AUTHOR = {Head, T.},
TITLE = {Adherence equivalence is decidable for DOL languages},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {241-249},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=241},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Idt/84,
AUTHOR = {Idt, J.},
TITLE = {Automates {\`a} pile sur des alphabets infinis},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {260-273},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mycroft/84,
AUTHOR = {Mycroft, A.},
TITLE = {Logic programs and many-valued logic},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {274-286},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Michel/84,
AUTHOR = {Michel, M.},
TITLE = {Alg{\`e}bre de machines et logique temporelle},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {287-298},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rhodes/84,
AUTHOR = {Rhodes, J.},
TITLE = {Algebraic and topological theory of languages and computation},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {299-304},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/84a,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {A property of three-element codes},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {305-313},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantke/84,
AUTHOR = {Jantke, K.P.},
TITLE = {Polynomial time inference of general pattern languages},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {314-325},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Culik/84a,
AUTHOR = {Choffrut, C. and Culik II, K.},
TITLE = {On extendibility of unavoidable sets},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {326-338},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}