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

    Book Section

    Schneider-Kamp, P. and Fuhs, Carsten and Thiemann, R. and Giesl, J. and Annov, E. and Codish, M. and Middeldorp, A. and Zankl, H. (2007) Implementing RPO and POLO using SAT. In: Baader, F. and Cook, B. and Giesl, J. and Nieuwenhuis, R. (eds.) Deduction and Decision Procedures. Dagstuhl Seminar Proceedings 07401. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

    Konev, B. and Wolter, F. and Zakharyaschev, Michael (2005) Temporal logics over transitive states. In: Nieuwenhuis, R. (ed.) CADE-20: Automated Deduction. Lecture Notes in Computer Science 3632. Springer, pp. 182-203. ISBN 9783540280057.

    Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2001) Monodic fragments of first-order temporal logics: 2000-2001 A.D. In: Nieuwenhuis, R. and Voronkov, A. (eds.) LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 2250. Springer, pp. 1-23. ISBN 9783540429579.

    This list was generated on Thu May 26 05:23:18 2022 BST.