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

    Book Section

    Marx, M. and Mikulas, Szabolcs and Reynolds, M. (2000) The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000. Lecture Notes in Computer Science 1874. Springer, pp. 324-340. ISBN 9783540676973.

    This list was generated on Thu Mar 28 06:40:00 2024 GMT.