@incollection{Capocelli-Gargano-Vaccaro/89,
AUTHOR = {Capocelli, Renato M. and Gargano, Luisa and Vaccaro, Ugo},
TITLE = {Time bounds for broadcasting in bounded degree graphs},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {19-33},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Thulasiraman-Agarwal-Lakshmanan/89,
AUTHOR = {Das, A. and Thulasiraman, K. and Agarwal, V.K. and Lakshmanan, K.B.},
TITLE = {$t/s$-diagnosable systems: A characterization and diagnosis algorithm},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {34-45},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geva-Paz/89,
AUTHOR = {Geva, Robert Y. and Paz, Azaria},
TITLE = {Toward a complete representation of graphoids in graphs},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {46-62},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Billaud-Lafon-Metivier-Sopena/89,
AUTHOR = {Billaud, Michel and Lafon, Pierre and Metivier, Yves and Sopena, Eric},
TITLE = {Graph rewriting systems with priorities},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {94-106},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Habel-Kreowski/89,
AUTHOR = {Habel, Annegret and Kreowski, Hans-J{\"o}rg},
TITLE = {Filtering hyperedge-replacement languages through compatible properties},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {107-120},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bunke-Haller/89,
AUTHOR = {Bunke, H. and Haller, B.},
TITLE = {A parser for context free plex grammars},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {136-150},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brandenburg/89,
AUTHOR = {Brandenburg, Franz J.},
TITLE = {On the complexity of optimal drawings of graphs},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {166-180},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/89c,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {Improved self-reduction algorithms for graphs with bounded treewidth},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {232-244},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=232},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Henrich-Six-Widmayer/89,
AUTHOR = {Henrich, Andreas and Six, Hans-Werner and Widmayer, Peter},
TITLE = {Paging binary trees with external balancing},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {260-276},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anderson-Kahan-Schlag/89,
AUTHOR = {Anderson, Richard and Kahan, Simon and Schlag, Martine},
TITLE = {An $O(n\log n)$ algorithm for 1-D tile compaction},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {287-301},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dehne-Rau-Chaplin/89,
AUTHOR = {Dehne, Frank and Rau-Chaplin, Andrew},
TITLE = {Implementing data structures on a hypercube multiprocessor, and applications in parallel computational geometry},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {316-329},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klein/89a,
AUTHOR = {Klein, Rolf},
TITLE = {Combinatorial properties of abstract Voronoi diagrams},
BOOKTITLE = {Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'89 (Castle Rolduc, The Netherlands, June 14-16, 1989)},
SERIES = {LNCS},
VOLUME = {411},
PAGES = {356-369},
YEAR = {1989},
EDITOR = {Nagl, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=411&spage=356},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jamison-Olariu/89,
AUTHOR = {Jamison, B. and Olariu, S.},
TITLE = {A linear-time recognition algorithm for $P_4$-reducible graphs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {1-19},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jiang/89a,
AUTHOR = {Jiang, Y.J.},
TITLE = {An autoepistemic logical view of knowledge base},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {68-77},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dung-Kanchanasut/89,
AUTHOR = {Dung, Phan Minh and Kanchanasut, Kanchana},
TITLE = {A natural semantics for logic programs with negation},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {78-88},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ahuja-Zhu/89,
AUTHOR = {Ahuja, Mohan and Zhu, Yahui},
TITLE = {An efficient distributed algorithm for finding articulation points, bridges, and biconnected components in asynchronous networks},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {99-108},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bonomi-Fleming-Steinberg/89,
AUTHOR = {Bonomi, F. and Fleming, P.J. and Steinberg, P.},
TITLE = {An adaptive regulator approach for the design of load sharing algorithms},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {121-130},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Breu-Zucca/89,
AUTHOR = {Breu, Ruth and Zucca, Elena},
TITLE = {An algebraic compositional semantics of an object oriented notation with concurrency},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {131-142},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gunawardena/89,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {Deducing causal relationships in CCS},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {161-170},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kasyanov/89,
AUTHOR = {Kasyanov, Viktor N.},
TITLE = {Annotated program transformations},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {171-180},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Fey-Hansen-Lowe-Jacobs/89,
AUTHOR = {Ehrig, Hartmut and Fey, Werner and Hansen, Horst and L{\"o}we, Michael and Jacobs, Dean},
TITLE = {Algebraic software development concepts for module and configuration families},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {181-192},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemachandra-Jain/89,
AUTHOR = {Hemachandra, Lane A. and Jain, Sanjay},
TITLE = {On the limitations of locally robust positive reductions},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {193-203},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Albert/89,
AUTHOR = {Albert, Luc},
TITLE = {Average case complexity analysis of RETE pattern-match algorithm and average size of join in databases},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {223-241},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kannan/89,
AUTHOR = {Kannan, Ravi},
TITLE = {The Frobenius problem},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {242-251},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Protasi-Talamo/89,
AUTHOR = {Gambosi, Giorgio and Protasi, Marco and Talamo, Maurizio},
TITLE = {An efficient implicit data structure for path testing and searching in rooted trees and forests},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {252-266},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bajaj-Dey/89,
AUTHOR = {Bajaj, Chanderjit L. and Dey, Tamal K.},
TITLE = {Robust decompositions of polyhedra},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {267-279},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Deo-Prasad/89,
AUTHOR = {Das, Sajal K. and Deo, Narsingh and Prasad, Sushil},
TITLE = {Gate matrix layout revisited: Algorithmic performance and probabilistic analysis},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {280-290},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang-Wang/89,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {Parallel parsing on a one-way linear array of finite-state machines},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {291-300},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Joseph/89,
AUTHOR = {Joseph, Mathai},
TITLE = {Time and real-time in programs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {312-324},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennessy/89,
AUTHOR = {Hennessy, M.},
TITLE = {A proof system for communicating processes with value-passing},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {325-339},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates-Gonnet/89a,
AUTHOR = {Baeza-Yates, Ricardo A. and Gonnet, Gaston H.},
TITLE = {Efficient text searching of regular expressions},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {1-2},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goodrich-ODunlaing-Yap/89,
AUTHOR = {Goodrich, Michael T. and {\'O}'D{\'u}nlaing, Colm and Yap, Chee K.},
TITLE = {Constructing the Voronoi diagram of a set of line segments in parallel},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {12-23},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cunto-Lau-Flajolet/89,
AUTHOR = {Cunto, Walter and Lau, Gustavo and Flajolet, Philippe},
TITLE = {Analysis of $k$d$t$-trees: $k$d-trees improved by local reorganisations},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {24-38},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietz/89,
AUTHOR = {Dietz, Paul F.},
TITLE = {Optimal algorithms for list indexing and subset rank},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {39-46},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Keil-Gutwin/89,
AUTHOR = {Keil, J. Mark and Gutwin, Carl A.},
TITLE = {The Delaunay triangulation closely approximates the complete Euclidean graph},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {47-56},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietz/89a,
AUTHOR = {Dietz, Paul F.},
TITLE = {Fully persistent arrays},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {67-74},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates/89,
AUTHOR = {Baeza-Yates, Ricardo A.},
TITLE = {String searching algorithms revisited},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {75-96},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Atallah-Hambrusch/89,
AUTHOR = {Atallah, Mikhail J. and Hambrusch, Susanne E.},
TITLE = {Optimal channel placement for multi-terminal nets},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {97-114},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aggarwal-Moran-Shor-Suri/89,
AUTHOR = {Aggarwal, Alok and Moran, Shlomo and Shor, Peter W. and Suri, Subhash},
TITLE = {Computing the minimum visible vertex distance between two polygons},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {115-134},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ke-ORourke/89,
AUTHOR = {Ke, Yan and O'Rourke, Joseph},
TITLE = {Computing the kernel of a point set in a polygon},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {135-146},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chrobak-Naor-Novick/89,
AUTHOR = {Chrobak, Marek and Naor, Joseph and Novick, Mark B.},
TITLE = {Using bounded degree spanning trees in the design of efficient algorithms on claw-free graphs},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {147-162},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diaz-ORourke/89,
AUTHOR = {D{\'{i}}az, Matthew and O'Rourke, Joseph},
TITLE = {Computing the center of area of a polygon},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {171-182},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Houle-Imai-Imai-Robert/89,
AUTHOR = {Houle, Michael E. and Imai, Hiroshi and Imai, Keiko and Robert, Jean-Marc},
TITLE = {Weighted orthogonal linear $L_\infty$-approximation and applications},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {183-191},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gardy-Flajolet-Puech/89,
AUTHOR = {Gardy, Dani{\`e}le and Flajolet, Philippe and Puech, Claude},
TITLE = {On the performance of orthogonal range queries in multiattribute and doubly chained trees},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {218-229},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Devroye/89,
AUTHOR = {Devroye, Luc},
TITLE = {Probabilistic analysis of algorithms and data structures},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {230-230},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goodrich-Snoeyink/89,
AUTHOR = {Goodrich, Michael T. and Snoeyink, Jack Scott},
TITLE = {Stabbing parallel segments with a convex polygon},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {231-242},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hwang-Chang-Tu/89,
AUTHOR = {Hwang, Yie-Huei and Chang, Ruei-Chuan and Tu, Hung-Yi},
TITLE = {Finding all shortest path edge sequences on a convex polyhedron},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {251-266},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chen/89b,
AUTHOR = {Chen, Lin},
TITLE = {$NC$ algorithms for circular-arc graphs},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {291-302},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Khuller/89a,
AUTHOR = {Khuller, Samir},
TITLE = {Parallel algorithms for the subgraph homeomorphism problem},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {303-315},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czyzowicz-Rival-Urrutia/89,
AUTHOR = {Czyzowicz, Jurek and Rival, Ivan and Urrutia, Jorge},
TITLE = {Galleries, light matchings and visibility graphs},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {316-324},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirkpatrick-Wismath/89,
AUTHOR = {Kirkpatrick, David G. and Wismath, Stephen K.},
TITLE = {Weighted visibility graphs of bars and related flow problems},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {325-334},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Adhar-Peng/89,
AUTHOR = {Adhar, Gur Saran and Peng, Shietung},
TITLE = {Parallel algorithms for cographs: Recognition and applications},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {335-351},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Italiano-Spaccamela-Nanni/89,
AUTHOR = {Italiano, Giuseppe F. and Spaccamela, Alberto Marchetti and Nanni, Umberto},
TITLE = {Dynamic data structures for series parallel digraphs},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {352-372},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andersson/89,
AUTHOR = {Andersson, Arne},
TITLE = {Improving partial rebuilding by using simple balance criteria},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {393-402},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Palis/89,
AUTHOR = {Ibarra, Oscar H. and Palis, Michael A.},
TITLE = {An efficient all-parses systolic algorithm for general context-free parsing},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {403-419},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kim-McNaughton-McCloskey/89,
AUTHOR = {Kim, Sam and McNaughton, Robert and McCloskey, Robert},
TITLE = {A polynomial time algorithm for the local testability problem of deterministic finite automata},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {420-436},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Breu/89,
AUTHOR = {Breu, Heinz},
TITLE = {An efficient algorithm for finding all maximal square blocks in a matrix},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {460-471},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Derome/89,
AUTHOR = {Derome, Philippe},
TITLE = {A new search time update time tradeoff for the implicit dictionary},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {541-551},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Baca-Williams/89,
AUTHOR = {Fern{\'a}ndez-Baca, David and Williams, Mark A.},
TITLE = {Augmentation problems on hierarchically defined graphs},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {563-576},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/89d,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {On linear time minor tests and depth first search},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {577-590},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner/89,
AUTHOR = {Edelsbrunner, Herbert},
TITLE = {Combinatorial and computational results for line arrangements in space},
BOOKTITLE = {Proceedings of the Workshop on Algorithms and Data Structures, WADS'89 (Ottawa, Canada, August 17-19, 1989)},
SERIES = {LNCS},
VOLUME = {382},
PAGES = {591-591},
YEAR = {1989},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/3-540-51542-9_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdulrab-Pecuchet/89a,
AUTHOR = {Abdulrab, H. and P{\'e}cuchet, J.-P.},
TITLE = {On word equations and Makanin's algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {1-12},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alvarez-Diaz-Toran/89,
AUTHOR = {{\`A}lvarez, C. and D{\'i}az, J. and Tor{\'a}n, J.},
TITLE = {Complexity classes with complete problems between $P$ and $NP-C$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {13-24},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bartha/89,
AUTHOR = {Bartha, M.},
TITLE = {Interpretations of synchronous flowchart schemes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {25-34},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bertoni-Bruschi-Joseph-Sitharam-Young/89,
AUTHOR = {Bertoni, A. and Bruschi, D. and Joseph, D. and Sitharam, M. and Young, P.},
TITLE = {Generalized Boolean hierarchies and Boolean hierarchies over $RP$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {35-46},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bloom/89,
AUTHOR = {Bloom, S.L.},
TITLE = {The equational logic of iterative processes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {47-57},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Moran-Warmuth/89,
AUTHOR = {Bodlaender, H.L. and Moran, S. and Warmuth, M.K.},
TITLE = {The distributed bit complexity of the ring: from the anonymous to the non-anonymous case},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {58-67},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brandstadt/89,
AUTHOR = {Brandst{\"a}dt, A.},
TITLE = {The jump number problem for biconvex graphs and rectangle covers of rectangular regions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {68-77},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brzozowski-Ebergen/89,
AUTHOR = {Brzozowski, J.A. and Ebergen, J.C.},
TITLE = {Recent developments in the design of asynchronous circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {78-94},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Diks-Hagerup-Radzik/89,
AUTHOR = {Chlebus, B.S. and Diks, K. and Hagerup, T. and Radzik, T.},
TITLE = {New simulations between CRCW PRAMs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {95-105},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coquide-Dauchet-Tison/89,
AUTHOR = {Coquid{\'e}, J.-L. and Dauchet, M. and Tison, S.},
TITLE = {About connections between syntactical and computational complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {105-115},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crescenzi-Panconesi/89,
AUTHOR = {Crescenzi, P. and Panconesi, A.},
TITLE = {Completeness in approximation classes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {116-126},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Meinel/89,
AUTHOR = {Damm, C. and Meinel, Ch.},
TITLE = {Separating completely complexity classes related to polynomial size $\Omega$-decision trees},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {127-136},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Domosi-esik-Imreh/89,
AUTHOR = {D{\"o}m{\"o}si, P. and {\'e}sik, Z. and Imreh, B.},
TITLE = {On product hierarchies of automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {137-144},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Durivs-Pudlak/89,
AUTHOR = {Durivs, P. and Pudl{\'a}k, P.},
TITLE = {On the communication complexity of planarity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {145-147},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet/89,
AUTHOR = {Engelfriet, J.},
TITLE = {Context-free NCE graph grammars},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {148-161},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=148},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Francon-Randrianarimanana-Schott/89,
AUTHOR = {Fran{\c{c}}on, J. and Randrianarimanana, B. and Schott, R.},
TITLE = {Dynamic data structures with finite population: a combinatorial analysis},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {162-174},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fulop-Vagvolgyi/89,
AUTHOR = {F{\"u}l{\"o}p, Z. and V{\'a}gv{\"o}lgyi, S.},
TITLE = {Iterated deterministic top-down look-ahead},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {175-184},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geniet-Thimonier/89,
AUTHOR = {Geniet, D. and Thimonier, L.},
TITLE = {Using generating functions to compute concurrency},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {185-196},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gil-Luezas/89,
AUTHOR = {Gil-Luezas, A.},
TITLE = {A logic for nondeterministic functional programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {197-208},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graw/89,
AUTHOR = {Graw, B.},
TITLE = {Decision problems and Coxeter groups},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {209-223},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gradel/89,
AUTHOR = {Gr{\"a}del, E.},
TITLE = {Complexity of formula classes in first order logic with functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {224-233},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier-Yen/89,
AUTHOR = {Howell, R.R. and Rosier, L.E. and Yen, Hsu-Chun},
TITLE = {Normal and sinkless Petri nets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {234-243},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Immerman/89,
AUTHOR = {Immerman, N.},
TITLE = {Descriptive and computational complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {244-245},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jukna/89,
AUTHOR = {Jukna, S.P.},
TITLE = {The effect of null-chains on the complexity of contact schemes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {246-256},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kinber-Zeugmann/89,
AUTHOR = {Kinber, E. and Zeugmann, T.},
TITLE = {Monte-Carlo inference and its relations to reliable frequency identification},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {257-266},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=257},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korec/89,
AUTHOR = {Korec, I.},
TITLE = {Semilinear real-time systolic trellis automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {267-276},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kovacs/89,
AUTHOR = {Kov{\'a}cs, T.},
TITLE = {Inducibility of the composition of frontier-to-root tree transformations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {277-286},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krause-Waack/89,
AUTHOR = {Krause, M. and Waack, S.},
TITLE = {On oblivious branching programs of linear length},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'89 (Szeged, Hungary, August 1989)},
SERIES = {LNCS},
VOLUME = {380},
PAGES = {287-296},
YEAR = {1989},
EDITOR = {Csirik, J. and Demetrovics, J. and G{\'e}cseg, F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=380&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle/89a,
AUTHOR = {Courcelle, B.},
TITLE = {Monadic second-order logic and context-free graph-grammars},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {18-34},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Harel/89,
AUTHOR = {Harel, D.},
TITLE = {A thesis for bounded concurrency},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {35-48},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis-Ranjan/89,
AUTHOR = {Hartmanis, J. and Ranjan, D.},
TITLE = {Space bounded computations: Review and new separation results},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {49-66},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kotov-Cherkasova/89,
AUTHOR = {Kotov, V.E. and Cherkasova, L.A.},
TITLE = {Concurrent nondeterministic processes: Adequacy of structure and behaviour},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {67-87},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andreka-Nemeti-Sain/89,
AUTHOR = {Andr{\'e}ka, H. and N{\'e}meti, I. and Sain, I.},
TITLE = {On the strength of temporal proofs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {135-144},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andrews/89,
AUTHOR = {Andrews, J.H.},
TITLE = {Proof-theoretic characterisations of logic programming},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {145-154},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Badouel/89,
AUTHOR = {Badouel, E.},
TITLE = {Algebraically closed theories},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {155-164},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=155},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Calude-Vaida/89,
AUTHOR = {Calude, C. and Vaida, D.},
TITLE = {Ehrenfeucht test set theorem and Hilbert basis theorem: A constructive glimpse},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {177-184},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Diks-Rytter-Szymacha/89,
AUTHOR = {Chlebus, B. and Diks, K. and Rytter, W. and Szymacha, T.},
TITLE = {Parallel complexity of lexicographically first problems for tree-structured graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {185-195},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dassow-Hromkovic-Karhumaki-Rovan-Slobodova/89,
AUTHOR = {Dassow, J. and Hromkovi{\v{c}}, J. and Karhum{\"a}ki, J. and Rovan, B. and Slobodov{\'a}, A.},
TITLE = {On the power of synchronization in parallel computations},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {196-206},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diks-Hagerup-Rytter/89,
AUTHOR = {Diks, K. and Hagerup, T. and Rytter, W.},
TITLE = {Optimal parallel algorithms for the recognition and colouring outerplanar graphs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {207-217},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Elkan/89,
AUTHOR = {Elkan, Ch.},
TITLE = {Logical characterizations of nonmonotonic TMSs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {218-224},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Farres-Casals/89,
AUTHOR = {Farr{\'e}s-Casals, J.},
TITLE = {Proving correctness of constructor implementations},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {225-236},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gouda-Howell-Rosier/89,
AUTHOR = {Gouda, M.G. and Howell, R.R. and Rosier, L.E.},
TITLE = {System simulation and the sensitivity of self-stabilization (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {249-258},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemachandra-Hoene-Siefkes/89,
AUTHOR = {Hemachandra, L.A. and Hoene, A. and Siefkes, D.},
TITLE = {Polynomial-time functions generate SAT: on $P$-splinters},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {259-269},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heuter/89,
AUTHOR = {Heuter, U.},
TITLE = {Generalized definite tree languages},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {270-280},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Holte-Rosier-Tulchinsky-Varvel/89,
AUTHOR = {Holte, R. and Rosier, L. and Tulchinsky, I. and Varvel, D.},
TITLE = {Pinwheel scheduling with two distinct numbers},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {281-290},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iwanowski/89a,
AUTHOR = {Iwanowski, S.},
TITLE = {Testing approximate symmetry in the plane is $NP$-hard},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {291-304},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jousselin-Moskowitz/89,
AUTHOR = {Jousselin, C. and Moskowitz, J.-P.},
TITLE = {Memory and algebra},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {305-313},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Just/89,
AUTHOR = {Just, B.},
TITLE = {Integer relations among algebraic numbers},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {314-320},
YEAR = {1989},
}
@incollection{Kok/89,
AUTHOR = {Kok, J.N.},
TITLE = {An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {321-330},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowalczyk/89,
AUTHOR = {Kowalczyk, W.},
TITLE = {Complexity of decision problems under incomplete information},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {331-337},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barrington-McKenzie/89,
AUTHOR = {Barrington, D.A. Mix and McKenzie, P.},
TITLE = {Oracle branching programs and logspace versus $\P$ (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {370-379},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=370},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ablayev/89,
AUTHOR = {Ablayev, F.M.},
TITLE = {On comparing probabilistic and deterministic automata complexity of languages},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {599-605},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=599},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Federova-Gerdt-Govorun-Shirikov/89,
AUTHOR = {Federova, R.N. and Gerdt, V.P. and Govorun, N.N. and Shirikov, V.P.},
TITLE = {Computer algebra in physical research of Joint Institute for Nuclear Research},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {1-10},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grigoriev/89,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Complexity of quantifier elimination in the theory of ordinary differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {11-25},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abramov/89,
AUTHOR = {Abramov, S.A.},
TITLE = {Some algorithms of rational function algebra},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {45-47},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boffgen-Reichert/89,
AUTHOR = {B{\"o}ffgen, R. and Reichert, M.A.},
TITLE = {The computer algebra system SIMATH},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {48-49},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchmann-Pohst/89,
AUTHOR = {Buchmann, J. and Pohst, M.},
TITLE = {Computing a lattice basis from a system of generating vectors},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {54-63},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cowell-Wright/89,
AUTHOR = {Cowell, R.G. and Wright, F.J.},
TITLE = {CATFACT: Computer algebraic tools for applications of catastrophe theory},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {71-80},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Shabat-Svinolupov-Zharkov/89,
AUTHOR = {Gerdt, V.P. and Shabat, A.B. and Svinolupov, S.I. and Zharkov, A.Yu.},
TITLE = {Computer algebra application for investigating integrability of nonlinear evolution systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {81-92},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Zharkov/89,
AUTHOR = {Gerdt, V.P. and Zharkov, A.Yu.},
TITLE = {Computer classification of integrable seventh order MKdV-like equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {93-94},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fitch-Hall/89,
AUTHOR = {Fitch, J.P. and Hall, R.G.},
TITLE = {Symbolic computation and the finite element method},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {95-96},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klimov-Rudenko-Zhuravlev/89,
AUTHOR = {Klimov, D.M. and Rudenko, V.M. and Zhuravlev, V.F.},
TITLE = {Application of Lie group and computer algebra to nonlinear mechanics},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {97-106},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gurin/89,
AUTHOR = {Gurin, N.I.},
TITLE = {SCHOONSCHIP for computing of gravitino interaction cross sections in $n=2$ supergravity},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {116-117},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kazasov/89,
AUTHOR = {Kazasov, C.},
TITLE = {Laplace transformations in REDUCE 3},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {132-133},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Burge-Watt/89,
AUTHOR = {Burge, W.H. and Watt, S.M.},
TITLE = {Infinite structures in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {138-148},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Creutzburg-Tasche/89,
AUTHOR = {Creutzburg, R. and Tasche, M.},
TITLE = {Number-theoretic transforms of prescribed length},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {161-162},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dulyan/89,
AUTHOR = {Dulyan, L.S.},
TITLE = {The calculation of QCD triangular Feynman graphs in the external gluonic field using REDUCE-2 system},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {172-173},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fedorova-Kornyak/89,
AUTHOR = {Fedorova, R.N. and Kornyak, V.V.},
TITLE = {Computer algebra application for determining local symmetries of differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {174-175},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Katkov-Popov/89,
AUTHOR = {Katkov, V.L. and Popov, M.D.},
TITLE = {Computerised system of analytic transformations for analysing of differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {179-185},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jahn/89,
AUTHOR = {Jahn, K.-U.},
TITLE = {Computer algebra and numerical convergence},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {204-205},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Kostov-Kostova/89,
AUTHOR = {Gerdt, V.P. and Kostov, N.A. and Kostova, Z.T.},
TITLE = {Computer algebra and computation of Puiseux expansions of algebraic functions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {206-207},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brackx-Serras/89,
AUTHOR = {Brackx, F. and Serras, H.},
TITLE = {Boundary value problems for the Laplacian in Euclidean space solved by symbolic computation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {208-215},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eltekov-Shikalov/89,
AUTHOR = {Eltekov, V.A. and Shikalov, V.B.},
TITLE = {The methods for symbolic evaluation of determinants and their realization in the planner-analytic system},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {216-222},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=216},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ilyin-Kryukov/89,
AUTHOR = {Ilyin, V.A. and Kryukov, A.P.},
TITLE = {DIMREG - The package for calculations in the dimensional regularization with 4-dimensional $\gamma^5$-matrix in quantum field theory},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {225-232},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kryukov-Rodionov/89,
AUTHOR = {Kryukov, A.P. and Rodionov, A.Ya.},
TITLE = {CTS - Algebraic debugging system for REDUCE programs},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {233-243},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bowyer-Davenport-Milne-Padget-Wallis/89,
AUTHOR = {Bowyer, A. and Davenport, J.H. and Milne, P.S. and Padget, J.A. and Wallis, A.F.},
TITLE = {Applications of computer algebra in solid modelling},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {244-245},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kusche-Kutzler-Mayr/89,
AUTHOR = {Kusche, K. and Kutzler, B. and Mayr, H.},
TITLE = {Implementation of a geometry theorem proving package in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {246-257},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czapor/89a,
AUTHOR = {Czapor, S.R.},
TITLE = {Solving algebraic equations via Buchberger's algorithm},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {260-269},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kredel/89a,
AUTHOR = {Kredel, H.},
TITLE = {Primary ideal decomposition},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {270-281},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kalkbrener/89,
AUTHOR = {Kalkbrener, M.},
TITLE = {Solving systems of algebraic equations by using Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {282-292},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni/89,
AUTHOR = {Gianni, P.},
TITLE = {Properties of Gr{\"o}bner bases under specializations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {293-297},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradford/89,
AUTHOR = {Bradford, R.J.},
TITLE = {Hermite normal forms for integer matrices},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {315-316},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Krishnamoorthy-Saunders/89,
AUTHOR = {Kaltofen, E. and Krishnamoorthy, M.S. and Saunders, B.D.},
TITLE = {Mr.~Smith goes to Las Vegas: Randomized parallel computation of the Smith normal form of polynomial matrices},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {317-322},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti/89,
AUTHOR = {Giusti, M.},
TITLE = {Complexity of standard bases in projective dimension zero},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {333-335},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=333},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gateva-Ivanova/89,
AUTHOR = {Gateva-Ivanova, T.},
TITLE = {Algorithmic determination of the Jacobson radical of monomial algebras},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {355-364},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kondrateva-Pankratev/89,
AUTHOR = {Kondrat{\'e}va, M.V. and Pankrat{\'e}v, E.V.},
TITLE = {A recursive algorithm for computation of the Hilbert polynomial},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {365-375},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Henry-Merle/89,
AUTHOR = {Henry, J.P.G. and Merle, M.},
TITLE = {Complexity of computation of embedded resolution of algebraic curves},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {381-390},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abbott-Davenport/89,
AUTHOR = {Abbott, J.A. and Davenport, J.H.},
TITLE = {Polynomial factorization: An exploration of Lenstra's algorithm},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {391-402},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferscha/89,
AUTHOR = {Ferscha, A.},
TITLE = {A matrix-approach for proving inequalities},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {403-411},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baaz-Leitsch/89,
AUTHOR = {Baaz, M. and Leitsch, A.},
TITLE = {Strong splitting rules in automated theorem proving},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {424-425},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fischer/89,
AUTHOR = {Fischer, T.},
TITLE = {Towards a refined classification of geometric search and computation problems},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {426-437},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=426},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Labahn-Cabay/89,
AUTHOR = {Labahn, G. and Cabay, S.},
TITLE = {Matrix-Pad{\'e} fractions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {438-449},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=438},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bachmair-Dershowitz/89,
AUTHOR = {Bachmair, L. and Dershowitz, N.},
TITLE = {A critical pair criterion for completion modulo a congruence},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {452-453},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=452},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gillies-Char/89,
AUTHOR = {Gillies, D.M. and Char, B.W.},
TITLE = {Practical aspects of symbolic integration over $Q(x)$},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {463-464},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abbott/89,
AUTHOR = {Abbott, J.A.},
TITLE = {Integration: Solving the Risch differential equation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {465-467},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=465},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Apel-Lassner/89a,
AUTHOR = {Apel, J. and Lassner, W.},
TITLE = {Computation and simplification in Lie fields},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {468-478},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=468},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bronstein/89a,
AUTHOR = {Bronstein, M.},
TITLE = {An algorithm for the integration of elementary functions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {491-497},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=491},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abadi-Lamport-Wolper/89,
AUTHOR = {Abadi, M. and Lamport, L. and Wolper, P.},
TITLE = {Realizable and unrealizable specifications of reactive systems},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {1-17},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender/89d,
AUTHOR = {Allender, E.},
TITLE = {Limitations of the upward separation technique},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {18-30},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=18},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender-Hemachandra/89a,
AUTHOR = {Allender, E. and Hemachandra, L.A.},
TITLE = {Lower bounds for the low hierarchy},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {31-45},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=31},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates-Gonnet/89,
AUTHOR = {Baeza-Yates, R.A. and Gonnet, G.H.},
TITLE = {Efficient text searching of regular expressions},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {46-62},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=46},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Pin/89,
AUTHOR = {Beauquier, D. and Pin, J.E.},
TITLE = {Factors of words},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {63-79},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=63},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman-Garay/89a,
AUTHOR = {Berman, P. and Garay, J.A.},
TITLE = {Asymptotically optimal distributed consensus},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {80-94},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=80},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bilardi-Moitra/89,
AUTHOR = {Bilardi, G. and Moitra, A.},
TITLE = {Time lower bounds for CREW-PRAM computation of monotone functions},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {95-108},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bohm/89,
AUTHOR = {B{\"o}hm, C.},
TITLE = {Subduing self-application},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {108-122},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=108},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brassard-Crepeau-Yung/89,
AUTHOR = {Brassard, G. and Cr{\'e}peau, C. and Yung, M.},
TITLE = {Everything in $NP$ can be argued in perfect zero-knowledge in a bounded number of rounds},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {123-136},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=123},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Breazu-Tannen-Gallier/89,
AUTHOR = {Breazu-Tannen, V. and Gallier, J.},
TITLE = {Polymorphic rewriting conserves algebraic strong normalization and confluence},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {137-150},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=137},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruyere/89,
AUTHOR = {Bruyere, V.},
TITLE = {Completion of finite codes with finite deciphering delay},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {151-163},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=151},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cardone/89,
AUTHOR = {Cardone, F.},
TITLE = {Relational semantics for recursive types and bounded quantification},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {164-178},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=164},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Edelsbrunner-Guibas-Sharir/89,
AUTHOR = {Chazelle, B. and Edelsbrunner, H. and Guibas, L.J. and Sharir, M.},
TITLE = {A singly-exponential stratification scheme for real semi-algebraic varieties and its applications},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {179-193},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=179},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Colson/89,
AUTHOR = {Colson, L.},
TITLE = {About primitive recursive algorithms},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {194-206},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=194},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle/89,
AUTHOR = {Courcelle, B.},
TITLE = {The definability of equational graphs in monadic second-order logic},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {207-221},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Harju/89,
AUTHOR = {Culik II, K. and Harju, T.},
TITLE = {Dominoes and the regularity of DNA splicing languages},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {222-233},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=222},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Darondeau-Degano/89,
AUTHOR = {Darondeau, P. and Degano, P.},
TITLE = {Causal trees},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {234-248},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=234},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dershowitz-Kaplan-Plaisted/89,
AUTHOR = {Dershowitz, N. and Kaplan, S. and Plaisted, D.A.},
TITLE = {Infinite normal forms},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {249-262},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=249},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Pepper-Orejas/89,
AUTHOR = {Ehrig, H. and Pepper, P. and Orejas, F.},
TITLE = {On recent trends in algebraic specification},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {263-288},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet-Hoogeboom/89,
AUTHOR = {Engelfriet, J. and Hoogeboom, H.J.},
TITLE = {Automata with storage on infinite words},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {289-303},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eppstein-Galil/89,
AUTHOR = {Eppstein, D. and Galil, Z.},
TITLE = {Parallel algorithmic techniques for combinatorial computation},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {304-318},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=304},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldman-Impagliazzo-Naor-Nisan-Rudich-Shamir/89,
AUTHOR = {Feldman, D. and Impagliazzo, R. and Naor, M. and Nisan, N. and Rudich, S. and Shamir, A.},
TITLE = {On dice and coins: Models of computation for random generation},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {319-340},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=319},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldman-Micali/89,
AUTHOR = {Feldman, P. and Micali, S.},
TITLE = {An optimal probabilistic algorithm for synchronous Byzantine agreement},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {341-378},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=341},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fussel-Ramachandran-Thurimella/89,
AUTHOR = {Fussel, D. and Ramachandran, V. and Thurimella, R.},
TITLE = {Finding triconnected components by local replacements},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {379-393},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=379},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galil-Park/89,
AUTHOR = {Galil, Z. and Park, K.},
TITLE = {An improved algorithm for approximate string matching},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {394-404},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=394},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Nardelli-Talamo/89,
AUTHOR = {Gambosi, G. and Nardelli, E. and Talamo, M.},
TITLE = {A pointer-free data structure for merging heaps and min-max heaps},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {405-422},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=405},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Groote-Vaandrager/89,
AUTHOR = {Groote, J.F. and Vaandrager, F.},
TITLE = {Structured operational semantics and bisimulation as a congruence},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {423-438},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=423},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Nowak/89,
AUTHOR = {Hagerup, T. and Nowak, M.},
TITLE = {Parallel retrievel of scattered information},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {439-450},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=439},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hastad/89,
AUTHOR = {H{\aa}stad, J.},
TITLE = {Tensor rank is NP-complete},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {451-460},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=451},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hochbaum-Shanthikumar/89,
AUTHOR = {Hochbaum, D.S. and Shanthikumar, J.G.},
TITLE = {The complexity of nonlinear separable optimization},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {461-472},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=461},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kenyon-Mathieu-Vitter/89,
AUTHOR = {Kenyon-Mathieu, C.M. and Vitter, J.S.},
TITLE = {General methods for the analysis of the maximal size of dynamic data structures},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {473-487},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=473},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ausiello-Spaccamela-Nanni/89,
AUTHOR = {Ausiello, G. and Spaccamela, A. Marchetti and Nanni, U.},
TITLE = {Dynamic maintenance of paths and path expressions on graphs},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {1-12},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bronstein/89,
AUTHOR = {Bronstein, M.},
TITLE = {Fast reduction of the Risch differential equation},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {64-72},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chaffy-Camus/89,
AUTHOR = {Chaffy-Camus, C.},
TITLE = {An application of REDUCE to the approximation of $f(x,y)$},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {73-84},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdali-Wise/89,
AUTHOR = {Abdali, S.K. and Wise, D.S.},
TITLE = {Experiments with quadtree representation of matrices},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {96-108},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Char-Macnaughton-Strooper/89,
AUTHOR = {Char, B.W. and Macnaughton, A.R. and Strooper, P.A.},
TITLE = {Discovering inequality conditions in the analytical solution of optimization problems},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {109-115},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kobayashi-Moritsugu-Hogan/89a,
AUTHOR = {Kobayashi, H. and Moritsugu, S. and Hogan, R.W.},
TITLE = {Solving systems of algebraic equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {139-149},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galligo-Pottier-Traverso/89,
AUTHOR = {Galligo, A. and Pottier, L. and Traverso, C.},
TITLE = {Greater easy common divisor and standard basis completion algorithms},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {162-176},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnborg/89,
AUTHOR = {Arnborg, S.},
TITLE = {Experiments with a projection operator for algebraic decomposition},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {177-182},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barkatou/89,
AUTHOR = {Barkatou, M.A.},
TITLE = {Rational Newton algorithm for computing formal solutions of linear differential equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {183-195},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Freire-Gamero-Ponce-Franquelo/89,
AUTHOR = {Freire, E. and Gamero, E. and Ponce, E. and Franquelo, L.G.},
TITLE = {An algorithm for symbolic computation of center manifolds},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {218-230},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradford-Davenport/89,
AUTHOR = {Bradford, R.J. and Davenport, J.H.},
TITLE = {Effective tests for cyclotomic polynomials},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {244-251},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collins-Johnson/89,
AUTHOR = {Collins, G.E. and Johnson, J.R.},
TITLE = {The probability of relative primality of Gaussian integers},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {252-258},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Juozapavicius/89,
AUTHOR = {Juozapavi{\v{c}}ius, A.},
TITLE = {Symbolic computation for Witt rings},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {271-273},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abhyankar-Bajaj/89,
AUTHOR = {Abhyankar, S.S. and Bajaj, C.L.},
TITLE = {Computations with algebraic curves},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {274-284},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Canny/89,
AUTHOR = {Canny, J.},
TITLE = {Genralized characteristic polynomials},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {293-299},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni-Miller-Trager/89,
AUTHOR = {Gianni, P. and Miller, V. and Trager, B.},
TITLE = {Decomposition of algebras},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {300-308},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti-Lazard-Valibouze/89,
AUTHOR = {Giusti, M. and Lazard, D. and Valibouze, A.},
TITLE = {Algebraic transformations of polynomial equations, symmetric polynomials and elimination},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {309-315},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner-Preparata-West/89,
AUTHOR = {Edelsbrunner, H. and Preparata, F.P. and West, D.B.},
TITLE = {Tetrahedrizing point sets in three dimensions},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {315-331},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Cooperman-Finkelstein/89,
AUTHOR = {Brown, C. and Cooperman, G. and Finkelstein, L.},
TITLE = {Solving permutation problems using rewriting systems},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {364-377},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boy_de_la_Tour-Caferra/89,
AUTHOR = {Boy de la Tour, T. and Caferra, R.},
TITLE = {A formal approach to some usually informal techniques used in mathematical reasoning},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {402-406},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=402},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cantone-Cutello-Ferro/89,
AUTHOR = {Cantone, D. and Cutello, V. and Ferro, A.},
TITLE = {Decision procedures for elementary sublanguages of set theory. XIV: Three languages involving rank related constructs},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {407-422},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=407},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dicrescenzo-Duval/89,
AUTHOR = {Dicrescenzo, C. and Duval, D.},
TITLE = {Algebraic extensions and algebraic closure in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {440-446},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=440},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kredel/89,
AUTHOR = {Kredel, H.},
TITLE = {Software development for computer algebra},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {447-455},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=447},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Butler-Cannon/89a,
AUTHOR = {Butler, G. and Cannon, J.},
TITLE = {Cayley, Version 4: The user language},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {456-466},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Yagati/89,
AUTHOR = {Kaltofen, E. and Yagati, L.},
TITLE = {Improved sparse multivariate polynomial interpolation algorithm},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {467-474},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geddes-Gonnet-Smedley/89,
AUTHOR = {Geddes, K.O. and Gonnet, G.H. and Smedley, T.J.},
TITLE = {Heuristic methods for operations with algebraic numbers},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {475-480},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geddes-Gonnet/89,
AUTHOR = {Geddes, K.O. and Gonnet, G.H.},
TITLE = {A new algorithm for computing symbolic limits using hierarchical series},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {490-495},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=490},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hentzel-Pokrass/89,
AUTHOR = {Hentzel, I.R. and Pokrass, D.J.},
TITLE = {Verification of non-identities in algebras},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {496-507},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdulrab/89,
AUTHOR = {Abdulrab, H.},
TITLE = {Equations in words},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {508-520},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=508},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grigoriev/89a,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Complexity of computing the characters and the genre of a system of exterior differential equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {534-543},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=534},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Assmus/89,
AUTHOR = {Assmus, E.F., Jr.},
TITLE = {The coding theory of finite geometries and designs},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {1-6},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alonso-Luengo-Raimondo/89,
AUTHOR = {Alonso, M.E. and Luengo, I. and Raimondo, M.},
TITLE = {An algorithm on quasi-ordinary polynomials},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {59-73},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbot/89,
AUTHOR = {Barbot, Jean-Pierre},
TITLE = {A computer-aided design for sampling a nonlinear analytic system},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {74-88},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bossert/89a,
AUTHOR = {Bossert, Martin},
TITLE = {Decoding of generalized concatenated codes},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {89-98},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brown-Finkelstein-Purdom/89a,
AUTHOR = {Brown, Cynthia A. and Finkelstein, Larry and Purdom, Paul Walton, Jr.},
TITLE = {Backtrack searching in the presence of symmetry},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {99-110},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bucci-Di_Porto/89,
AUTHOR = {Bucci, Marco and Di Porto, Adina},
TITLE = {Fast serial-parallel multipliers},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {111-121},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchmann-Pohst/89a,
AUTHOR = {Buchmann, J. and Pohst, M.},
TITLE = {On the complexity of computing class groups of algebraic number fields},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {122-130},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carra_Ferro/89b,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {Some remarks on the differential dimension},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {152-163},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Castagnoli/89,
AUTHOR = {Castagnoli, G.},
TITLE = {On the asymptotic badness of cyclic codes with block-lengths composed from a fixed set of prime factors},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {164-168},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Colagrossi-Limongelli/89,
AUTHOR = {Colagrossi, Attilio and Limongelli, Carla},
TITLE = {Big numbers $p$-adic arithmetic: A parallel approach},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {169-180},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Drensky-Lakatos/89,
AUTHOR = {Drensky, Vesselin and Lakatos, Piroska},
TITLE = {Monomial ideals, group algebras and error correcting codes},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {181-188},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferre/89,
AUTHOR = {Ferr{\'{e}}, Ricardo},
TITLE = {Fast integer multiplication by block recursive, number theoretical},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {189-200},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Flajolet-Salvy-Zimmermann/89,
AUTHOR = {Flajolet, Philippe and Salvy, Bruno and Zimmermann, Paul},
TITLE = {Lambda-Upsilon-Omega: An assistant algorithms analyzer},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {201-212},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gateva-Ivanova/89a,
AUTHOR = {Gateva-Ivanova, Tatiana},
TITLE = {Global dimension of associative algebras},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {213-229},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Geiselmann-Gollmann/89,
AUTHOR = {Geiselmann, Willi and Gollmann, Dieter},
TITLE = {Symmetry and duality in normal basis multiplication},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {230-238},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Henkel/89,
AUTHOR = {Henkel, Werner},
TITLE = {Multiple error correction with analog codes},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {239-249},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hunt-Stearns/89,
AUTHOR = {Hunt III, H.B. and Stearns, R.E.},
TITLE = {On the complexity of satisfiability problems for algebraic structures},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {250-258},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonamico-Cioni/89,
AUTHOR = {Bonamico, Sabina and Cioni, Gianna},
TITLE = {Embedding flexible control strategies into object oriented languages},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {454-457},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Camion/89a,
AUTHOR = {Camion, Paul},
TITLE = {Majority decoding of large repetition codes for the $r$-ary symmetric channel},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {458-466},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Courteau-Montpetit/89,
AUTHOR = {Courteau, B. and Montpetit, A.},
TITLE = {On binary codes of order 3},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {467-470},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gutierrez-Recio-Velesco/89,
AUTHOR = {Guti{\'{e}}rrez, J. and Recio, T. and Velesco, C. Ruiz de},
TITLE = {Polynomial decomposition algorithm of almost quadratic complexity},
BOOKTITLE = {Proceedings of the 6th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'88 (Rome, Italy, July 4--8, 1988)},
SERIES = {LNCS},
VOLUME = {357},
PAGES = {471-475},
YEAR = {1989},
EDITOR = {Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Astie-Vidal-Matteo/89,
AUTHOR = {Astie-Vidal, A. and Matteo, A.},
TITLE = {Non simple tournaments: Theoretical properties and a polynomial algorithm},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {1-15},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Basart-Rifa/89,
AUTHOR = {Basart, J.M. and Rif{\`a}, J.},
TITLE = {Covering radius for codes obtained from $T(m)$ triangular graphs},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {16-24},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauderon-Laubie/89,
AUTHOR = {Bauderon, Michel and Laubie, Fran{\c{c}}ois},
TITLE = {Searching for weakly autocorrelated binary sequences},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {25-34},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertoni-Goldwurm/89,
AUTHOR = {Bertoni, Alberto and Goldwurm, Massimiliano},
TITLE = {On the prefixes of a random trace and the membership problem for context-free trace languages},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {35-59},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bossert/89,
AUTHOR = {Bossert, Martin},
TITLE = {On decoding binary quadratic residue codes},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {60-68},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burillo-Gonzalez/89,
AUTHOR = {Burillo, Pedro J. and Gonz{\'{a}}lez, Le{\'{o}}n A.},
TITLE = {Pseudometrics associated with fuzzy relations having weak properties},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {69-74},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calmet/89,
AUTHOR = {Calmet, Jacques},
TITLE = {Towards an expert system for error correcting codes: SECC},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {75-87},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Camion/89,
AUTHOR = {Camion, P.},
TITLE = {An iterative Euclidean algorithm},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {88-128},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carra_Ferro/89,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {Gr{\"o}bner bases and differential algebra},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {129-140},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=356&spage=129},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carra_Ferro/89a,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {Gr{\"o}bner bases and differential algebra},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {129-140},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carra_Ferro-Gallo/89,
AUTHOR = {Carr{\`a} Ferro, Giuseppa and Gallo, Giovanni},
TITLE = {A procedure to prove geometrical statements},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {141-150},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Charpin/89,
AUTHOR = {Charpin, Pascale},
TITLE = {Some applications of a classification of affine-invariant codes},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {151-160},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cucker-Pardo-Raimondo-Recio-Roy/89,
AUTHOR = {Cucker, F. and Pardo, L.M. and Raimondo, M. and Recio, T. and Roy, M.F.},
TITLE = {On the computation of the local and global analytic branches of a real algebraic curve},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {161-181},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dur/89a,
AUTHOR = {D{\"u}r, Arne},
TITLE = {On generalized minimum distance decoding},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {202-215},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dvornicich-Traverso/89,
AUTHOR = {Dvornicich, Roberto and Traverso, Carlo},
TITLE = {Newton symmetric functions and the arithmetic of algebraically closed fields},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {216-224},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cohen/89a,
AUTHOR = {Cohen, G{\'{e}}rard},
TITLE = {Non linear covering codes: A few results and conjectures},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {225-229},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferro-Gallo/89,
AUTHOR = {Ferro, Alfredo and Gallo, Giovanni},
TITLE = {Gr{\"o}bner bases, Ritt's algorithm and decision procedures for algebraic theories},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {230-237},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=356&spage=230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fiol-Serra/89,
AUTHOR = {Fiol, M.A. and Serra, O.},
TITLE = {An algebraic model for the storage of data in parallel momories},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {238-246},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gianni-Mora/89,
AUTHOR = {Gianni, Patrizia and Mora, Teo},
TITLE = {Algebraic solution of systems of polynomial equations using Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {247-257},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grieco-Zucchetti/89,
AUTHOR = {Grieco, M. and Zucchetti, B.},
TITLE = {How to decide whether a polynomial ideal is primary or not},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {258-268},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heintz/89,
AUTHOR = {Heintz, Joos},
TITLE = {On the computational complexity of polynomials and bilinear mappings --- A survey},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {269-300},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Imai-Matsumoto/89,
AUTHOR = {Imai, Hideki and Matsumoto, Tsutomu},
TITLE = {Coding theory and its applications in Japan},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {301-305},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jensen-Hoholdt/89,
AUTHOR = {Jensen, Helge Elbrond and Hoholdt, Tom},
TITLE = {Binary sequences with good correlation properties},
BOOKTITLE = {Proceedings of the 5th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'87 (Menorca, Spain, June 15-19, 1987)},
SERIES = {LNCS},
VOLUME = {356},
PAGES = {306-320},
YEAR = {1989},
EDITOR = {Huguet, Lloren{\c{c}} and Poli, Alain},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berstel/89,
AUTHOR = {Berstel, J.},
TITLE = {Properties of infinite words: Recent results},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {36-46},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennicker/89,
AUTHOR = {Hennicker, Rolf},
TITLE = {Observational implementations},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {59-71},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=59},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alevizos-Boissonnat-Preparata/89,
AUTHOR = {Alevizos, Panagiotis and Boissonnat, Jean-Daniel and Preparata, Franco P.},
TITLE = {On the boundary of a union of rays},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {72-83},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=72},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Djidjev-Lingas-Sack/89,
AUTHOR = {Djidjev, Hristo N. and Lingas, Andrzej and Sack, J{\"o}rg-R{\"u}diger},
TITLE = {An $O(n \log n)$ algorithm for computing a link center in a simple polygon},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {96-107},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=96},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gutjahr-Welzl-Woginger/89,
AUTHOR = {Gutjahr, Wolfgang and Welzl, Emo and W{\"o}ginger, Gerhart},
TITLE = {Polynomial graph-colorings},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {108-119},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=108},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hinz/89,
AUTHOR = {Hinz, Friedhelm},
TITLE = {Classes of picture languages that cannot be distinguished in the chain code concept and deletion of redundant retreats},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {132-143},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=132},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frougny/89,
AUTHOR = {Frougny, Christiane},
TITLE = {Linear numeration systems, $\Theta$-developments and finite automata},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {144-155},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=144},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/89a,
AUTHOR = {Diekert, Volker},
TITLE = {Word problems over traces which are solvable in linear time},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {168-180},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=168},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fussell-Thurimella/89,
AUTHOR = {Fussell, Donald and Thurimella, Ramakrishna},
TITLE = {Successive approximation in parallel graph algorithms},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {205-217},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=205},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buntrock-Hone/89,
AUTHOR = {Buntrock, Gerhard and H{\"o}ne, Albrecht},
TITLE = {Reversals and Alternation},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {218-228},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=218},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Hemachandra/89a,
AUTHOR = {Cai, Jin-yi and Hemachandra, Lane A.},
TITLE = {On the power of parity polynomial time},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {229-239},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=229},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganesan-Homer/89,
AUTHOR = {Ganesan, K. and Homer, Steven},
TITLE = {Complete problems and strong polynomial reducibilities},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {240-250},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=240},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman-Schnitger/89,
AUTHOR = {Berman, Piotr and Schnitger, Georg},
TITLE = {On the complexity of approximating the independent set problem},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {256-268},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=256},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beame-Bodlander/89,
AUTHOR = {Beame, Paul W. and Bodl{\"a}nder, Hans L.},
TITLE = {Distributed computing on transitive networks: The torus},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {294-303},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=294},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Doenhardt/89,
AUTHOR = {Doenhardt, J{\"u}rgen},
TITLE = {Fault masking probabilities with single and multiple signature analysis},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {327-338},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=327},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hermann/89,
AUTHOR = {Hermann, Miki},
TITLE = {Chain properties of rule closures},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {339-347},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=339},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Batarekh-Subrahmanian/89,
AUTHOR = {Batarekh, Aida and Subrahmanian, V.S.},
TITLE = {The query topology in logic programming},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {375-387},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=375},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaudry-McKenzie-Therien/89,
AUTHOR = {Beaudry, M. and McKenzie, P. and Th{\'e}rien, D.},
TITLE = {Testing membership: Beyond permutation groups},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {388-399},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=388},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jonsson-Parrow/89,
AUTHOR = {Jonsson, Bengt and Parrow, Joachim},
TITLE = {Deciding bisimulation equivalences for a class of non-finite-state programs},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {421-433},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=421},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Charron-Bost/89,
AUTHOR = {Charron-Bost, Bernadette},
TITLE = {Measure of parallelism of distributed computations},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {434-445},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=434},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jancar/89,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Decidability of weak fairness in Petri nets},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {446-457},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Karhumaki/89a,
AUTHOR = {Culik II, Karel and Karhum{\"a}ki, Juhani},
TITLE = {On the equivalence problem for deterministic multitape automata and transducers},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {468-479},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=468},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kalyanasundaram-Schnitger/89,
AUTHOR = {Kalyanasundaram, Bala and Schnitger, Georg},
TITLE = {Rounds versus time for the two person pebble game},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {517-529},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=517},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/89,
AUTHOR = {Bodlaender, H.L.},
TITLE = {NC-Algorithms for graphs with small treewidth},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {1-10},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Habel/89,
AUTHOR = {Habel, A.},
TITLE = {Graph-theoretic properties compatible with graph derivations},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {11-29},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle/89b,
AUTHOR = {Courcelle, B.},
TITLE = {The monadic second-order logic of graphs},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {30-53},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bauderon/89,
AUTHOR = {Bauderon, M.},
TITLE = {On systems of equations defining infinite graphs},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {54-73},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korach-Ostfeld/89,
AUTHOR = {Korach, E. and Ostfeld, Z.},
TITLE = {DFS tree construction},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {87-106},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Biskup-Stiefeling/89,
AUTHOR = {Biskup, J. and Stiefeling, H.},
TITLE = {Transitive closure algorithms for very large databases},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {122-147},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=122},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iwanowski/89,
AUTHOR = {Iwanowski, S.},
TITLE = {Linear time algorithms for testing approximate congruence in the plane},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {213-228},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abramowski-Lang-Muller/89,
AUTHOR = {Abramowski, S. and Lang, B. and M{\"u}ller, H.},
TITLE = {Moving regular $k$-gons in contact},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {229-242},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaeslin/89,
AUTHOR = {Kaeslin, H.},
TITLE = {Application of graph theory to topology generation for logic gates},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {304-316},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartel/89,
AUTHOR = {Hartel, P.H.},
TITLE = {The average size of ordered binary subgraphs},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {327-351},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jayakumar-Thulasiraman-Swamy/89,
AUTHOR = {Jayakumar, R. and Thulasiraman, K. and Swamy, M.N.S.},
TITLE = {$O(n^2)$ algorithms for graph planarization},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {352-377},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=352},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Huckenbeck/89,
AUTHOR = {Huckenbeck, U.},
TITLE = {On paths in search or decision trees which require almost worst-case time},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {406-423},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klein/89,
AUTHOR = {Klein, R.},
TITLE = {Voronoi diagrams in the Moscow metric},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {434-441},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
KEYWORDS = {extended abstract},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=434},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hinrichs-Nievergelt-Schorn/89,
AUTHOR = {Hinrichs, K. and Nievergelt, J. and Schorn, P.},
TITLE = {A sweep algorithm and its implementation},
BOOKTITLE = {Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (Amsterdam, The Netherlands, June 15-17, 1988)},
SERIES = {LNCS},
VOLUME = {344},
PAGES = {442-457},
YEAR = {1989},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=344&spage=442},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}