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.
Full text not available from this repository.
Official URL: https://doi.org/10.1007/10722086
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 13 Jul 2021 14:53 |
| Last Modified: | 09 Aug 2023 12:51 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/45082 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
Edit/View Item