BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 1.

    Book Section

    Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2005) Comparative similarity, tree automata, and diophantine equations. In: Sutcliffe, G. and Voronkov, A. (eds.) LPAR 2005: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 3835. Springer, pp. 651-665. ISBN 9783540305538.

    This list was generated on Thu Feb 29 05:19:43 2024 GMT.