@incollection{Kozen-Vazirani-Vazirani/85,
AUTHOR = {Kozen, Dexter and Vazirani, Umesh V. and Vazirani, Vijay V.},
TITLE = {$NC$ algorithms for comparability graphs, interval graphs and testing for unique perfect matching},
BOOKTITLE = {Proceedings of the 5th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'85 (New Delhi, India, December 16-18, 1985)},
SERIES = {LNCS},
VOLUME = {206},
PAGES = {496-503},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=206&spage=496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornfeldt/85,
AUTHOR = {H{\"o}rnfeldt, L.},
TITLE = {Stensor},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {165},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=16},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornfeldt/85a,
AUTHOR = {H{\"o}rnfeldt, L.},
TITLE = {STENSOR uses disc automatically for very large computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {317},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=31},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreissig/85,
AUTHOR = {Krei{\ss}ig, M.},
TITLE = {A program system for factorization of polynomials with rational coefficients},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {155},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mukhopadhyay/85,
AUTHOR = {Mukhopadhyay, A.},
TITLE = {A solution to the polynomial Hensel-code conversion problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {327},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nikolova/85,
AUTHOR = {Nikolova, D.B.},
TITLE = {On some laws in PSL(2,q)},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {245},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=24},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ogilvie/85,
AUTHOR = {Ogilvie, J.F.},
TITLE = {Application of computer algebra to the theory of the vibration-rotational spectra of diatomic molecules},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {205},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=20},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Richter/85,
AUTHOR = {Richter, P.},
TITLE = {THKLISP as a base of formula manipulation systems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {156},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Riedel/85,
AUTHOR = {Riedel, W.},
TITLE = {A program system for root finding},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {154},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taraniuk-Mackeonis/85,
AUTHOR = {Taraniuk, M. and Mackeonis, P.C.},
TITLE = {Demonstration of REDUCE3 as implemented on a stand-alone MOTOROLA 68000 based microcomputer},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {31},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=3},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zassenhaus/85,
AUTHOR = {Zassenhaus, H.},
TITLE = {Symbol manipulation and symmetry breaking},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {607},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=60},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bini-Pan/85a,
AUTHOR = {Bini, D. and Pan, V.},
TITLE = {Algorithms for polynomial division},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {1-3},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen/85e,
AUTHOR = {Kaltofen, E.},
TITLE = {Sparse Hensel lifting},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {4-17},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=4},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Davenport-Padget/85,
AUTHOR = {Davenport, J. and Padget, J.},
TITLE = {HEUGCD: How elementary upperbounds generate cheaper data},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {18-28},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=18},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iliopoulos/85b,
AUTHOR = {Iliopoulos, C.S.},
TITLE = {Gaussian elimination over a Euclidean ring},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {29-30},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=29},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sutor/85,
AUTHOR = {Sutor, R.S.},
TITLE = {The Scratchpad II computer algebra language and system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {32-33},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collins/85,
AUTHOR = {Collins, G.E.},
TITLE = {The SAC-2 computer algebra system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {34-35},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=34},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carrette-Harten/85,
AUTHOR = {Carrette, G.J. and Harten, L.P.},
TITLE = {DOE-MACSYMA: Progress report},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {36-39},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ghelfo-Omodeo/85,
AUTHOR = {Ghelfo, S. and Omodeo, E.G.},
TITLE = {Towards practical implementations of syllogistic},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {40-49},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=40},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Murray-Rosenthal/85,
AUTHOR = {Murray, N.V. and Rosenthal, E.},
TITLE = {Path resolution and semantic graphs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {50-63},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=50},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gottlob-Leitsch/85,
AUTHOR = {Gottlob, G. and Leitsch, A.},
TITLE = {Fast subsumption algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {64-77},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=64},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aspetsberger/85,
AUTHOR = {Aspetsberger, K.},
TITLE = {Substitution expressions: Extracting solutions of non-Horn clause proofs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {78-86},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=78},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weispfenning/85,
AUTHOR = {Weispfenning, V.},
TITLE = {The complexity of elementary problems in Archimedean ordered groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {87-88},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=87},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{aman-dInverno-Joly-MacCallum/85,
AUTHOR = {{\AA}man, J.E. and d'Inverno, R.A. and Joly, G.C. and MacCallum, M.A.H.},
TITLE = {Progress on the equivalence problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {89-98},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=89},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lassner/85,
AUTHOR = {Lassner, W.},
TITLE = {Symbol representations of noncommutative algebras},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {99-115},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=99},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Millington-Wright/85,
AUTHOR = {Millington, K. and Wright, F.J.},
TITLE = {Algebraic computations in elementary catastrophe theory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {116-125},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=116},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Armbruster/85,
AUTHOR = {Armbruster, D.},
TITLE = {Bifurcation theory and computer algebra: An initial approach},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {126-137},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=126},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_der_Hulst-Lenstra/85,
AUTHOR = {van der Hulst, M.-P. and Lenstra, A.K.},
TITLE = {Factorization of polynomials by transcendental evaluation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {138-145},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goebbels/85,
AUTHOR = {Goebbels, F.},
TITLE = {Factorization of rational polynomials in the Zassenhaus-norm},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {146-147},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=146},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lidl/85,
AUTHOR = {Lidl, R.},
TITLE = {On decomposable and commuting polynomials},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {148-149},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alagar-Thanh/85,
AUTHOR = {Alagar, V.S. and Thanh, M.},
TITLE = {Fast polynomial decomposition algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {150-153},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=150},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Drouffe/85a,
AUTHOR = {Drouffe, J.M.},
TITLE = {AMP: A system for algebraic computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {157-158},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=157},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krasinski/85,
AUTHOR = {Krasi{\'n}ski, A.},
TITLE = {The program ORTOCARTAN for applications in Einstein's relativity theory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {159-160},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=159},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frick-aman/85,
AUTHOR = {Frick, I. and {\AA}man, J.E.},
TITLE = {SHEEP and classification in general relativity},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {161-162},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=161},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornaes-Wahl/85,
AUTHOR = {Hornaes, A. and Wahl, T.},
TITLE = {NORCAN - A computer calculus program},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {163-164},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=163},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdali-Cherry/85,
AUTHOR = {Abdali, S.K. and Cherry, G.},
TITLE = {Visual environments for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {166-167},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=166},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Curien/85a,
AUTHOR = {Curien, P.-L.},
TITLE = {Syntactic equivalences inducing semantic equivalences},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {168-178},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=168},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graves-Blaine/85,
AUTHOR = {Graves, H. and Blaine, L.},
TITLE = {The ALGOS computational system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {179-180},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=179},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gaube-Mayr-Lockemann/85,
AUTHOR = {Gaube, W. and Mayr, H.C. and Lockemann, P.C.},
TITLE = {Retrieval in a module library using formal specifications: Preliminary search using syntactic properties},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {181-196},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=181},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gibert/85,
AUTHOR = {Gibert, J.},
TITLE = {The J-machine: Functional programming with combinators},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {197-198},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=197},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klimov/85,
AUTHOR = {Klimov, D.M.},
TITLE = {Symbolic algebra in problems of non-linear mechanics},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {199-200},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=199},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tombal-Moussiaux/85a,
AUTHOR = {Tombal, Ph. and Moussiaux, A.},
TITLE = {MACSYMA's computation of Dirac-Bergmann algorithm for Hamiltonian systems with contraints},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {201-202},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=201},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Egecioglu/85,
AUTHOR = {Egecioglu, {\"o}.},
TITLE = {Algorithms for the character theory of the symmetric group},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {206-224},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=206},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iliopoulos/85c,
AUTHOR = {Iliopoulos, C.S.},
TITLE = {Worst-case analysis of algorithms for computational problems on Abelian permutation groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {225-228},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=225},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Le_Chenadec/85,
AUTHOR = {Le Chenadec, P.},
TITLE = {A completion of some Coxeter groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {229-242},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=229},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Campbell-Robertson/85,
AUTHOR = {Campbell, C.M. and Robertson, E.F.},
TITLE = {A Cayley file of finite simple groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {243-244},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=243},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon-Collins-McCallum/85,
AUTHOR = {Arnon, D.S. and Collins, G.E. and McCallum, S.},
TITLE = {An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {246-261},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=246},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon/85,
AUTHOR = {Arnon, D.S.},
TITLE = {A cluster-based cylindrical algebraic decomposition algorithm},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {262-269},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=262},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon/85a,
AUTHOR = {Arnon, D.S.},
TITLE = {On mechanical quantifier elimination for elementary algebra and geometry: Solution of a non-trivial problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {270-271},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boge-Gebauer-Kredel/85,
AUTHOR = {B{\"o}ge, W. and Gebauer, R. and Kredel, H.},
TITLE = {Gr{\"o}bner bases using SAC-2},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {272-274},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=272},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon-McCallum/85,
AUTHOR = {Arnon, D.S. and McCallum, S.},
TITLE = {A polynomial time algorithm for the topological type of a real algebraic curve},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {275-276},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=275},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{McCallum/85,
AUTHOR = {McCallum, S.},
TITLE = {An improved projection operation for cylindrical algebraic decomposition},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {277-278},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=277},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Rolletschek/85,
AUTHOR = {Kaltofen, E. and Rolletschek, H.},
TITLE = {Arithmetic in quadratic fields with unique factorization},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {279-288},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=279},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Della_Dora-Dicrescenzo-Duval/85,
AUTHOR = {Della Dora, J. and Dicrescenzo, C. and Duval, D.},
TITLE = {About a new method for computing in algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {289-290},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agnarsson-Krishnamoorthy-Saunders/85,
AUTHOR = {Agnarsson, S. and Krishnamoorthy, M.S. and Saunders, B.D.},
TITLE = {An algebraic implementation of packages},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {291-302},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=291},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Greif/85,
AUTHOR = {Greif, J.M.},
TITLE = {The SMP pattern matcher},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {303-314},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=303},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hulshof-Hulzen/85,
AUTHOR = {Hulshof, B.J.A. and Hulzen, J.A. van},
TITLE = {An expression compression package for REDUCE based on factorization and controlled expansion},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {315-316},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=315},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rump/85,
AUTHOR = {Rump, S.M.},
TITLE = {Numerical methods with automatic verification},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {318-319},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=318},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rump/85a,
AUTHOR = {Rump, S.M.},
TITLE = {ACRITH - High accuracy arithmetic subroutine library},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {320-321},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=320},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Gudenberg/85,
AUTHOR = {von Gudenberg, J.W.},
TITLE = {Floating-point computation in PASCAL-SC with verified results},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {322-324},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Gudenberg/85a,
AUTHOR = {von Gudenberg, J.W.},
TITLE = {PASCAL-SC demonstration: Accurate arithmetic for verified results},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {325-326},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=325},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matijasevich/85,
AUTHOR = {Matijasevich, Yu.V.},
TITLE = {A posteriori interval analysis},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {328-334},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=328},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganzha-Mazurik-Shapeev/85,
AUTHOR = {Ganzha, V.G. and Mazurik, S.I. and Shapeev, V.P.},
TITLE = {Symbolic manipulations on a computer and their application to generation and investigation of difference schemes},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {335-347},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=335},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kounalis/85,
AUTHOR = {Kounalis, E.},
TITLE = {Completeness in data type specifications},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {348-362},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paul/85a,
AUTHOR = {Paul, E.},
TITLE = {On solving the equality problem in theories defined by Horn clauses},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {363-377},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=363},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winkler/85,
AUTHOR = {Winkler, F.},
TITLE = {Reducing the complexity of the Knuth-Bendix completion algorithm: A ``unification'' of different approaches},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {378-389},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=378},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuchlin/85,
AUTHOR = {K{\"u}chlin, W.},
TITLE = {A confluence criterion based on the generalised Newman lemma},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {390-399},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=390},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dick/85,
AUTHOR = {Dick, A.J.J.},
TITLE = {ERIL - Equational reasoning: an interactive laboratory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {400-401},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=400},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirchner-Kirchner/85,
AUTHOR = {Kirchner, C. and Kirchner, H.},
TITLE = {Implementation of a general completion procedure parameterized by built-in theories and strategies},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {402-404},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=402},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornaes/85,
AUTHOR = {Hornaes, A.},
TITLE = {Computer algebra in Norway},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {405-406},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=405},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Schellenberger/85,
AUTHOR = {Becker, M. and Schellenberger, G.},
TITLE = {GOPPA Codes: Algorithmic problems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {407-408},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=407},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni-Trager/85,
AUTHOR = {Gianni, P. and Trager, B.},
TITLE = {GCD's and factoring multivariate polynomials using Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {409-410},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=409},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti/85,
AUTHOR = {Giusti, M.},
TITLE = {A note on the complexity of constructing standard bases},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {411-412},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=411},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galligo/85,
AUTHOR = {Galligo, A.},
TITLE = {Some algorithmic questions on ideals of differential operators},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {413-421},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=413},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pedersen/85,
AUTHOR = {Pedersen, J.},
TITLE = {Obtaining complete sets of reductions and equations without using special unification algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {422-423},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=422},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Llopis_de_Trias/85,
AUTHOR = {Llopis de Trias, R.},
TITLE = {An overview of completion algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {424-428},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=424},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pearce-Hicks/85,
AUTHOR = {Pearce, P.D. and Hicks, R.J.},
TITLE = {The optimisation by ``Code Motion'' of user programs for an algebraic manipulation system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {429-430},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=429},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Young-Wang/85,
AUTHOR = {Young, D.A. and Wang, P.S.},
TITLE = {An improved plotting package for VAXIMA},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {431-432},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=431},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heck-Avenhaus/85,
AUTHOR = {Heck, N. and Avenhaus, J.},
TITLE = {On logic programs with data-driven computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {433-443},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=433},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergeron-Pichet/85,
AUTHOR = {Bergeron, F. and Pichet, C.},
TITLE = {DARWIN, a system designed for the study of enumerative combinatorics},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {444-445},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=444},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hohlfeld/85,
AUTHOR = {Hohlfeld, B.},
TITLE = {Correctness proofs of the implementation of abstract data types},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {446-447},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruderlin/85,
AUTHOR = {Br{\"u}derlin, B.},
TITLE = {Using Prolog for constructing geometric objects defined by constraints},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {448-459},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=448},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bandyopadhyay-Devitt/85,
AUTHOR = {Bandyopadhyay, S. and Devitt, J.S.},
TITLE = {The role of symbolic computation in the management of scientific information},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {460-461},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=460},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Exner-Fischer/85,
AUTHOR = {Exner, H. and Fischer, F.D.},
TITLE = {CIM (Computer Integrated Manufacturing) - A challenge for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {462-463},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=462},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coelho/85,
AUTHOR = {Coelho, H.},
TITLE = {Symbolic and algebraic computation may support secondary education},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {464-465},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=464},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caciotta-Iannucci/85,
AUTHOR = {Caciotta, M. and Iannucci, F.},
TITLE = {Software toolkit for input stage measurement in symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {466-467},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=466},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boninfante-Veca/85,
AUTHOR = {Boninfante, P. and Veca, G.M.},
TITLE = {The algebraic manipulation systems on the electrical power systems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {468-469},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=468},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fincke-Pohst/85,
AUTHOR = {Fincke, U. and Pohst, M.},
TITLE = {A new method of computing fundamental units in algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {470-478},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=470},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchmann/85,
AUTHOR = {Buchmann, J.},
TITLE = {The generalized Voronoi-algorithm in totally real algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {479-486},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=479},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ong-Golke/85,
AUTHOR = {Ong, H. and Golke, D.},
TITLE = {An algorithm for the computation of perfect polyhedral cones over real quadratic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {487-488},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=487},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reichert/85,
AUTHOR = {Reichert, M.A.},
TITLE = {Explicit determination of non-trivial torsion structures of elliptic curves over quadratic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {489-490},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=489},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lamprecht-Zimmer/85,
AUTHOR = {Lamprecht, K. and Zimmer, H.G.},
TITLE = {$P$-adic algorithms and the computation of zeros of $p$-adic L-functions},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {491-502},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=491},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petho/85,
AUTHOR = {Peth{\"o}, A.},
TITLE = {On the solution of the diophantine equation $G_n=p^z$},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {503-512},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=503},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Robbiano/85,
AUTHOR = {Robbiano, L.},
TITLE = {Term orderings on the polynomial ring},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {513-517},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=513},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mora/85,
AUTHOR = {Mora, F.},
TITLE = {An algorithmic approach to local rings},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {518-525},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=518},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller/85,
AUTHOR = {M{\"o}ller, H.M.},
TITLE = {A reduction strategy for the Taylor resolution},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {526-534},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=526},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ford-McKay/85,
AUTHOR = {Ford, D. and McKay, J.},
TITLE = {From polynomials to Galois groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {535-536},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=535},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watt/85,
AUTHOR = {Watt, S.M.},
TITLE = {A system for parallel computer algebra programs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {537-538},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=537},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caferra-Jorrand/85,
AUTHOR = {Caferra, R. and Jorrand, P.},
TITLE = {Unification in parallel with refined linearity test: An example of recursive network structure in FP2, a functional parallel programming language},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {539-540},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=539},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchberger/85a,
AUTHOR = {Buchberger, B.},
TITLE = {The parallel L-machine for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {541-542},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=541},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hussman/85,
AUTHOR = {Hussman, H.},
TITLE = {Unification in conditional equational theories},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {543-553},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=543},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paige-Henglein/85,
AUTHOR = {Paige, R. and Henglein, F.},
TITLE = {Mechanical translation of set theoretic problem specifications into efficient RAM code - A case study},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {554-567},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=554},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Franova/85,
AUTHOR = {Franov{\'a}, M.},
TITLE = {A methodology for automatic programming based on the constructive matching strategy},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {568-569},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=568},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sakharov/85,
AUTHOR = {Sakharov, A.},
TITLE = {The structural synthesis of programs: New means},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {570-571},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=570},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wang/85,
AUTHOR = {Wang, P.S.},
TITLE = {Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysis},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {572-582},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=572},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gates-Hulzen/85,
AUTHOR = {Gates, B.L. and Hulzen, J.A. van},
TITLE = {Automatic generation of optimized programs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {583-584},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=583},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karr/85a,
AUTHOR = {Karr, M.},
TITLE = {Canonical form for rational exponential expressions},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {585-594},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=585},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Singer-Davenport/85,
AUTHOR = {Singer, M.F. and Davenport, J.H.},
TITLE = {Elementary and Liouivillian solutions of linear differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {595-596},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=595},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wolf/85,
AUTHOR = {Wolf, Th.},
TITLE = {Analytical decoupling, decision of compatibility and partial integration of systems of non-linear ordinary and partial differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {597-598},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=597},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nehrkorn/85,
AUTHOR = {Nehrkorn, K.},
TITLE = {Symbolic integration of exponential polynomials},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {599-600},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=599},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwarz/85a,
AUTHOR = {Schwarz, F.},
TITLE = {A REDUCE package for determining first integrals of autonomous systems of ordinary differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {601-602},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=601},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arcieri-Miola-Panasiti/85,
AUTHOR = {Arcieri, M. and Miola, A. and Panasiti, F.},
TITLE = {A package of tools for manipulation of sums and series},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {603-604},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=603},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karr/85b,
AUTHOR = {Karr, M.},
TITLE = {Theory of summation in finite terms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {605-606},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=605},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Trinks/85,
AUTHOR = {Trinks, W.},
TITLE = {On improving approximate results of Buchberger's algorithm by Newton's method},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {608-612},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=608},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alberts/85,
AUTHOR = {Alberts, M.},
TITLE = {Space complexity of alternating Turing machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {1-7},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andreka-Guessarian-Nemeti/85,
AUTHOR = {Andreka, H. and Guessarian, I. and N{\'e}meti, I.},
TITLE = {A unifying theorem for algebraic semantics and dynamic logics},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {8-17},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Balcazar-Diaz-Gabarro/85a,
AUTHOR = {Balc{\'a}zar, J.L. and D{\'i}az, J. and Gabarr{\'o}, J.},
TITLE = {On some ``non-uniform'' complexity measures},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {18-27},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bauernoppel-Jung/85,
AUTHOR = {Bauern{\"o}ppel, F. and Jung, H.},
TITLE = {Fast parallel vertex colouring},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {28-35},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/85,
AUTHOR = {Beauquier, D.},
TITLE = {Muller automata and bi-infinite words},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {36-43},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Thimonier/85,
AUTHOR = {Beauquier, J. and Thimonier, L.},
TITLE = {On formal languages, probabilities, paging and decoding algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {44-52},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brandstadt-Kratsch/85,
AUTHOR = {Brandst{\"a}dt, A. and Kratsch, D.},
TITLE = {On the restriction of some $NP$-complete graph problems to permutation graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {53-62},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chistov/85,
AUTHOR = {Chistov, A.L.},
TITLE = {Fast parallel calculation of the rank of matrices over a field of arbitrary characteristic},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {63-69},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus/85,
AUTHOR = {Chlebus, B.S.},
TITLE = {Algorithms solving path systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {70-79},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dauchet-Tison/85,
AUTHOR = {Dauchet, M. and Tison, S.},
TITLE = {Decidability of confluence for ground term rewriting systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {80-89},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dunne/85,
AUTHOR = {Dunne, P.E.},
TITLE = {Lower bounds on the complexity of 1-time only branching programs (Preliminary version)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {90-99},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrenfeucht-Hoogeboom-Rozenberg/85,
AUTHOR = {Ehrenfeucht, A. and Hoogeboom, H.J. and Rozenberg, G.},
TITLE = {On coordinated rewriting},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {100-111},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet/85a,
AUTHOR = {Flajolet, Ph.},
TITLE = {Elements of a general theory of combinatorial structures},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {112-127},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=112},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fle-Roucairol/85,
AUTHOR = {Fl{\'e}, M.P. and Roucairol, G.},
TITLE = {A language theoretic approach to serialization problem in concurrent systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {128-145},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=128},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frandsen/85,
AUTHOR = {Frandsen, G.},
TITLE = {Logic programming and substitutions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {146-158},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gundermann/85,
AUTHOR = {Gundermann, T.},
TITLE = {A lower bound on the oscilation complexity of context-free languages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {159-166},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=159},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jung/85,
AUTHOR = {Jung, H.},
TITLE = {Depth efficient transformations of arithmetic into Boolean circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {167-174},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kemp/85,
AUTHOR = {Kemp, R.},
TITLE = {Free cost measures of trees},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {175-190},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korshunov/85,
AUTHOR = {Korshunov, A.D.},
TITLE = {Discrete extremal problems on covering},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {191-207},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Koubek-Krsnakova/85,
AUTHOR = {Koubek, V. and Krsn{\'a}kov{\'a}, J.},
TITLE = {Parallel algorithms for connected components in a graph},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {208-217},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kramosil/85,
AUTHOR = {Kramosil, I.},
TITLE = {Statistical testing of finite sequences based on algorithmic complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {218-226},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kriegel-Waack/85,
AUTHOR = {Kriegel, K. and Waack, S.},
TITLE = {Lower bounds for Boolean formulae of depth 3 and the topology of the n-cube (Preliminary version)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {227-233},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krivanek-Moravek/85,
AUTHOR = {K{\v{r}}iv{\'a}nek, M. and Mor{\'a}vek, J.},
TITLE = {Clustering to minimize the sum of volumes of convex hulls of clusters is NP-complete},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {234-241},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krivanek-Moravek/85a,
AUTHOR = {K{\v{r}}iv{\'a}nek, M. and Mor{\'a}vek, J.},
TITLE = {Linear comparison complexity of the n-cube membership problem},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {242-248},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Welzl/85a,
AUTHOR = {Lange, K.-J. and Welzl, E.},
TITLE = {String grammars with disconnecting},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {249-256},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Leeuwen-Wiedermann/85,
AUTHOR = {van Leeuwen, J. and Wiedermann, J.},
TITLE = {Array processing machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {257-268},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=257},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos/85,
AUTHOR = {Levcopoulos, C.},
TITLE = {A fast heuristic for covering polygons by rectangles},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {269-278},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=269},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Makanin/85,
AUTHOR = {Makanin, G.S.},
TITLE = {On the decidability of the theory of free groups (russ.)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {279-284},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Margolis-Pin/85,
AUTHOR = {Margolis, S.W. and Pin, J.E.},
TITLE = {Products of group languages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {285-299},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=285},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Monien/85,
AUTHOR = {Monien, B.},
TITLE = {The complexity of embedding graphs into binary trees},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {300-309},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/85,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {On some topological properties of logic programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {310-319},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nelson/85,
AUTHOR = {Nelson, E.},
TITLE = {Recent results on continuous ordered algebras},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {320-330},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=320},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reif/85,
AUTHOR = {Reif, J.},
TITLE = {Probabilistic algorithms in group theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {341-350},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reutenauer/85,
AUTHOR = {Reutenauer, C.},
TITLE = {Recent results on codes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {351-360},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rosier-Yen/85,
AUTHOR = {Rosier, L.E. and Yen, H.-C.},
TITLE = {A multiparameter analysis of the boundedness problem for vector addition systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {361-370},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozoy/85,
AUTHOR = {Rozoy, B.},
TITLE = {About two-way transducers},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {371-379},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rytter/85a,
AUTHOR = {Rytter, W.},
TITLE = {Parallel time $O(\log n)$ recognition of unambiguous CFLs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {380-389},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=380},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sachs/85,
AUTHOR = {Sachs, H.},
TITLE = {On colour critical graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {390-401},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=390},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Seebold/85,
AUTHOR = {S{\'e}{\'e}bold, P.},
TITLE = {Generalized Thue-Morse sequences},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {402-411},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=402},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Seese/85,
AUTHOR = {Seese, D.},
TITLE = {Tree-partite graphs and the complexity of algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {412-421},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Seidl/85,
AUTHOR = {Seidl, H.},
TITLE = {A quadratic regularity test for non-deleting macro s grammars},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {422-430},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=422},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tarlecki-Wirsing/85,
AUTHOR = {Tarlecki, A. and Wirsing, M.},
TITLE = {Continuous abstract data types: Basic machinery and results},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {431-441},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=431},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vardanian/85,
AUTHOR = {Vardanian, V.A.},
TITLE = {On the length of single dynamic tests for monotone Boolean functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {442-449},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=442},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Viennot/85,
AUTHOR = {Viennot, G.},
TITLE = {Enumerative combinatorics and algebraic languages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {450-464},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voelkel/85,
AUTHOR = {Voelkel, L.},
TITLE = {On several kinds of space-bounded on-line multicounter automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {465-473},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=465},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/85,
AUTHOR = {Vogler, H.},
TITLE = {Iterated linear control and iterated one-turn pushdowns},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {474-484},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=474},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wechsung/85,
AUTHOR = {Wechsung, G.},
TITLE = {On the Boolean closure of $NP$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {485-493},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=485},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wegener/85a,
AUTHOR = {Wegener, I.},
TITLE = {The critical complexity of all (monotone) Boolean functions and montone graph properties},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {494-502},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=494},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zink/85,
AUTHOR = {Zink, Th.},
TITLE = {Degeneration of Shimura surfaces and a problem in coding theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {503-511},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Passy-Tinchev/85a,
AUTHOR = {Passy, S. and Tinchev, T.},
TITLE = {Quantifiers in combinatory PDL: Completeness, definability, incompleteness},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {512-519},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=512},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Nicola-Montanari/85,
AUTHOR = {Degano, P. and Nicola, R. de and Montanari, U.},
TITLE = {Partial ordering derivations for CCS},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {520-533},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Simon/85,
AUTHOR = {Mehlhorn, K. and Simon, K.},
TITLE = {Intersecting two polyhedra one of which is convex},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (Cottbus, GDR)},
SERIES = {LNCS},
VOLUME = {199},
PAGES = {534-542},
YEAR = {1985},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=199&spage=534},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lovasz/85a,
AUTHOR = {Lov{\'a}sz, L.},
TITLE = {Vertex packing algorithms},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {1-14},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pnueli/85,
AUTHOR = {Pnueli, A.},
TITLE = {Linear and branching structures in the semantics and logics of reactive systems},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {15-32},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Nivat/85,
AUTHOR = {Beauquier, D. and Nivat, M.},
TITLE = {About rational sets of factors of a bi-infinite word},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {33-42},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=33},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ben-Or-Goldreich-Micali-Rivest/85,
AUTHOR = {Ben-Or, M. and Goldreich, O. and Micali, S. and Rivest, R.L.},
TITLE = {A fair protocol for signing contracts},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {43-52},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=43},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bilardi-Preparata/85a,
AUTHOR = {Bilardi, G. and Preparata, F.P.},
TITLE = {The influence of key length on the area-time complexity of sorting},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {53-62},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=53},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bouge/85,
AUTHOR = {Boug{\'e}, L.},
TITLE = {Repeated synchronous snapshots and their implementation in CSP},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {63-70},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=63},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bucher-Ehrenfeucht-Haussler/85a,
AUTHOR = {Bucher, W. and Ehrenfeucht, A. and Haussler, D.},
TITLE = {On total regulators generated by derivation relations},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {71-79},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=71},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Edelsbrunner/85a,
AUTHOR = {Chazelle, B. and Edelsbrunner, H.},
TITLE = {Optimal solutions for a class of point retrieval problems},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {80-89},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=80},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Guibas/85,
AUTHOR = {Chazelle, B. and Guibas, L.J.},
TITLE = {Fractional cascading: A data structuring technique with geometric applications},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {90-100},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=90},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chrobak/85a,
AUTHOR = {Chrobak, M.},
TITLE = {Hierarchies of one-way multihead automata languages},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {101-110},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=101},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cole/85,
AUTHOR = {Cole, R.},
TITLE = {Partitioning point sets in 4 dimensions},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {111-119},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=111},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coppo/85,
AUTHOR = {Coppo, M.},
TITLE = {A completeness theorem for recursively defined types},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {120-129},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=120},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Curien/85,
AUTHOR = {Curien, P.-L.},
TITLE = {Categorical combinatory logic},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {130-139},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=130},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bakker-Kok/85,
AUTHOR = {de Bakker, J.W. and Kok, J.N.},
TITLE = {Towards a uniform topological treatment of streams and functions on streams},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {140-148},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=140},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bakker-Meyer-Olderog/85,
AUTHOR = {de Bakker, J.W. and Meyer, J.-J.C. and Olderog, E.-R.},
TITLE = {Infinite streams and finite observations in the semantics of uniform concurrency},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {149-157},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=149},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bra/85,
AUTHOR = {de Bra, P.},
TITLE = {Imposed-functional dependencies inducing horizontal decompositions},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {158-170},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=158},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet-Vogler/85,
AUTHOR = {Engelfriet, J. and Vogler, H.},
TITLE = {Characterization of high level tree transducers},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {171-178},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=171},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet/85,
AUTHOR = {Flajolet, P.},
TITLE = {Ambiguity and transcendence},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {179-188},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=179},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fortune/85,
AUTHOR = {Fortune, S.J.},
TITLE = {A fast algorithm for polygon containment by translation},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {189-198},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=189},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Furer/85,
AUTHOR = {F{\"u}rer, M.},
TITLE = {Deterministic and Las Vegas primality testing algorithms},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {199-209},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=199},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gabow-Stallmann/85,
AUTHOR = {Gabow, H.N. and Stallmann, M.},
TITLE = {Efficient algorithms for graphic matroid intersection and parity},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {210-220},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=210},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goguen-Jouannaud-Meseguer/85,
AUTHOR = {Goguen, J.A. and Jouannaud, J.-P. and Meseguer, J.},
TITLE = {Operational semantics for order-sorted algebra},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {221-231},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=221},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gunter/85,
AUTHOR = {Gunter, C.A.},
TITLE = {A universal domain technique for profinite posets},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {232-243},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=232},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansel/85,
AUTHOR = {Hansel, G.},
TITLE = {A simple proof of the Skolem-Mahler-Lech theorem},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {244-249},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=244},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis-Immerman/85,
AUTHOR = {Hartmanis, J. and Immerman, N.},
TITLE = {On complete problems for $NP\cap coNP$},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {250-259},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=250},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennessy/85a,
AUTHOR = {Hennessy, M.},
TITLE = {An algebraic theory of fair asynchronous communicating processes},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {260-269},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=260},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hortala-Gonzalez-Rodriguez-Artalejo/85,
AUTHOR = {Hortal{\'a}-Gonz{\'a}lez, T. and Rodriguez-Artalejo, M.},
TITLE = {Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {270-280},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hrbacek/85,
AUTHOR = {Hrbacek, K.},
TITLE = {Powerdomains as algebraic lattices},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {281-289},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=281},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jerrum/85,
AUTHOR = {Jerrum, M.},
TITLE = {Random generation of combinatorial structures from a uniform distribution},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {290-299},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=290},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jung/85a,
AUTHOR = {Jung, H.},
TITLE = {On probabilistic time and space},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {310-317},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=310},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karlsson-Munro-Robertson/85,
AUTHOR = {Karlsson, R.G. and Munro, J.I. and Robertson, E.L.},
TITLE = {The nearest neighbor problem on bounded domains},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {318-327},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=318},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaufmann-Mehlhorn/85,
AUTHOR = {Kaufmann, M. and Mehlhorn, K.},
TITLE = {Routing through a generalized switchbox},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {328-337},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=328},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Keranen/85,
AUTHOR = {Ker{\"a}nen, V.},
TITLE = {On k-repetition free words generated by length uniform morphisms over a binary alphabet},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {338-347},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=338},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kortelainen/85,
AUTHOR = {Kortelainen, J.},
TITLE = {Every commutative quasirational language is regualar},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {348-355},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kurtz-Manber/85,
AUTHOR = {Kurtz, T.G. and Manber, U.},
TITLE = {A probabilistic distributed algorithm for set intersection and its analysis},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {356-362},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=356},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Landau-Yung-Galil/85,
AUTHOR = {Landau, G.M. and Yung, M.M. and Galil, Z.},
TITLE = {Distributed algorithms in synchronous broadcasting networks},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {363-372},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=363},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen/85,
AUTHOR = {Larsen, K.G.},
TITLE = {A context dependent equivalence between processes},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {373-382},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=373},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Li/85,
AUTHOR = {Li, M.},
TITLE = {Lower bounds by Kolmogorov-complexity},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {383-393},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=383},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Luby-Ragde/85,
AUTHOR = {Luby, M. and Ragde, P.},
TITLE = {A bidirectional shortest-path algorithm with good average-case behavior},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {394-403},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=394},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Main-Bucher-Haussler/85,
AUTHOR = {Main, M.G. and Bucher, W. and Haussler, D.},
TITLE = {Applications of an infinite squarefree CO-CFL},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {404-412},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=404},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manna-Waldinger/85a,
AUTHOR = {Manna, Z. and Waldinger, R.},
TITLE = {Special relations in automated deduction},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {413-423},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=413},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Tsakalidis/85,
AUTHOR = {Mehlhorn, K. and Tsakalidis, A.},
TITLE = {Dynamic interpolation search},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {424-434},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=424},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Orponen-Russo-Schoning/85,
AUTHOR = {Orponen, P. and Russo, D.A. and Sch{\"o}ning, U.},
TITLE = {Polynomial levelability and maximal complexity cores},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {435-444},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=435},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/85,
AUTHOR = {Pin, J.E.},
TITLE = {Finite group topology and p-adic topology for free monoids},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {445-455},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=445},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sippu-Soisalon-Soininen/85,
AUTHOR = {Sippu, S. and Soisalon-Soininen, E.},
TITLE = {On the use of relational expressions in the design of efficient algorithms},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {456-464},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=456},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sistla-Vardi-Wolper/85,
AUTHOR = {Sistla, A.P. and Vardi, M.Y. and Wolper, P.},
TITLE = {The complementation problem for B{\"u}chi automata with applications to temporal logic},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {465-474},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=465},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stirling/85a,
AUTHOR = {Stirling, C.},
TITLE = {A complete compositional modal proof system for a subset of CCS},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {475-486},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=475},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Varman-Ramakrishnan/85,
AUTHOR = {Varman, P.J. and Ramakrishnan, I.V.},
TITLE = {On matrix multiplication using array processors},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {487-496},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=487},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vishkin/85,
AUTHOR = {Vishkin, U.},
TITLE = {Optimal parallel pattern matching in strings},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {497-508},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=497},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zwiers-Roever-Boas/85,
AUTHOR = {Zwiers, J. and Roever, W.P. de and Boas, P. van Emde},
TITLE = {Compositionality and concurrent networks: Soundness and completeness of a proofsystem},
BOOKTITLE = {Proceedings of the 12th International Colloquium on Automata, Languages and Programming, ICALP'85 (Nafplion, Greece, July 15-19, 1985)},
SERIES = {LNCS},
VOLUME = {194},
PAGES = {509-519},
YEAR = {1985},
EDITOR = {Brauer, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=194&spage=509},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies/85b,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {On the relative complexity of subproblems of intractable problems},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {1-12},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Babai/85c,
AUTHOR = {Babai, L{\'a}szl{\'o}},
TITLE = {On Lov{\'a}sz' lattice reduction and the nearest lattice point problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {13-20},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Becker-Osthof/85,
AUTHOR = {Becker, B. and Osthof, H.G.},
TITLE = {Layouts with wires of balanced length},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {21-31},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Blum/85b,
AUTHOR = {Blum, Norbert},
TITLE = {On the single-operation worst-case time complexity of the disjoint set union problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {32-38},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Boasson-Petit/85,
AUTHOR = {Boasson, L. and Petit, A.},
TITLE = {Deterministic languages and non-generators},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {39-46},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bodlaender-van_Leeuwen/85,
AUTHOR = {Bodlaender, H.L. and van Leeuwen, J.},
TITLE = {Simulation of large networks on smaller networks},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {47-58},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Boudol-Roucairol-de_Simone/85,
AUTHOR = {Boudol, G{\'e}rard and Roucairol, G{\'e}rard and de Simone, Robert},
TITLE = {Petri nets and algebraic calculi of processes},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {59-70},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Brauer-Lange/85,
AUTHOR = {Brauer, W. and Lange, K.-J.},
TITLE = {Non-deterministic two-tape automata are more powerful than deterministic ones},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {71-79},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Felice/85,
AUTHOR = {de Felice, Clelia},
TITLE = {Construction of a family of factorizing codes},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {80-86},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Diekert/85,
AUTHOR = {Diekert, Volker},
TITLE = {On Hotz groups and homomorphic images of sentential form languages},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {87-97},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Dybjer/85,
AUTHOR = {Dybjer, Peter},
TITLE = {Using domain algebras to prove the correctness of a compiler},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {98-108},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Faigle-Turan/85,
AUTHOR = {Faigle, Ulrich and Tur{\'a}n, Gy{\"o}rgy},
TITLE = {Sorting and recognition problems for ordered sets},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {109-118},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{File/85,
AUTHOR = {Fil{\'e}, Gilberto},
TITLE = {Tree automata and logic programs},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {119-130},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=119},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Fischer-van_Gucht/85,
AUTHOR = {Fischer, P.C. and van Gucht, Dirk},
TITLE = {Structure of relations satisfying certain families of dependencies},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {131-142},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Frederickson/85b,
AUTHOR = {Frederickson, Greg N.},
TITLE = {A single source shortest path algorithm for a planar distributed network},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {143-150},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gao/85,
AUTHOR = {Gao, Shaodi},
TITLE = {An algorithm for two-layer channel routing},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {151-160},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Guting-Ottmann/85,
AUTHOR = {G{\"u}ting, Ralf Hartmut and Ottmann, Thomas},
TITLE = {New algorithms for special cases of the hidden line elimination problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {161-172},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Helfrich/85a,
AUTHOR = {Helfrich, Bettina},
TITLE = {An algorithm to construct Minkowski-reduced lattice-bases},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {173-179},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Irastorza/85,
AUTHOR = {Irastorza, Christine},
TITLE = {Base non finie de vari{\'e}t{\'e}s},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {180-186},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Karlsson-Munro/85,
AUTHOR = {Karlsson, Rolf G. and Munro, J. Ian},
TITLE = {Proximity on a grid},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {187-196},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kucera/85,
AUTHOR = {Ku{\v{c}}era, Lud{\v{e}}k},
TITLE = {An $O(N^{1.5+\varepsilon})$ expected time algorithm for canonization and isomorphism testing of trivalent graphs},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {197-207},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Leung-Monien/85,
AUTHOR = {Leung, Joseph Y.-T. and Monien, B.},
TITLE = {On the complexity of deadlock recovery},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {208-218},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{McColl/85,
AUTHOR = {McColl, W.F.},
TITLE = {On the planar monotone computation of threshold functions},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {219-230},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{McColl/85a,
AUTHOR = {McColl, W.F.},
TITLE = {Planar circuits have short specifications},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {231-242},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{ORourke-Suri-Booth/85,
AUTHOR = {O'Rourke, Joseph and Suri, Subhash and Booth, Heather},
TITLE = {Shortest paths on polyhedral surfaces},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {243-254},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=243},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Porat-Francez/85,
AUTHOR = {Porat, Sera and Francez, Nissim},
TITLE = {Fairness in context-free grammars under canonical derivations},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {255-266},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=255},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Richier/85,
AUTHOR = {Richier, Jean-Luc},
TITLE = {Distributed termination in CSP: Symmetric solutions with minimal storage},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {267-278},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rohnert/85,
AUTHOR = {Rohnert, Hans},
TITLE = {A dynamization of the all pairs least cost path problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {279-286},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rosier-Yen/85b,
AUTHOR = {Rosier, Louis E. and Yen, Hsu-Chun},
TITLE = {Boundedness, empty channel detection and synchronization for communicating finite state machines},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {287-298},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Royer/85,
AUTHOR = {Royer, V{\'e}ronique},
TITLE = {Deriving stack semantics congruent to standard denotational semantics},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {299-309},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Sack-Toussaint/85,
AUTHOR = {Sack, J{\"o}rg R. and Toussaint, Godfried T.},
TITLE = {Translating polygons in the plane},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {310-321},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Santoro-Sidney-Sidney-Urrutia/85,
AUTHOR = {Santoro, N. and Sidney, J.B. and Sidney, S.J. and Urrutia, J.B.},
TITLE = {Geometric containment is not reducible to Pareto dominance},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {322-327},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Spirakis/85,
AUTHOR = {Spirakis, Paul G.},
TITLE = {The volume of the union of many spheres and point inclusion problems},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {328-338},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Torenvliet-van_Emde_Boas/85,
AUTHOR = {Torenvliet, Leen and van Emde Boas, Peter},
TITLE = {Combined simplicity and immunity in relativized $NP$},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {339-350},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Weil/85,
AUTHOR = {Weil, Pascal},
TITLE = {Groups, codes and unambiguous automata},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {351-362},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Willard/85b,
AUTHOR = {Willard, Dan E.},
TITLE = {Reduced memory space for multi-dimensional search trees},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {363-374},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=363},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}