Research output per year
Research output per year
-
Applications of real number theorem proving in PVS
Gottliebsen, H., Hardy, R., Lightfoot, O. & Martin, U., Nov 2013, In: Formal Aspects of Computing. 25, 6, p. 993-1016 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
Boulton, R., Hardy, R., Martin, U. H. M., Maler, O. (Editor) & Pnueli, A. (Editor), 2003, Springer-Verlag.Research output: Other contribution
-
Computer algebra meets automated theorem proving: Integrating maple and PVS
Adams, A., Dunstan, M., Gottliebsen, H., Kelsey, T., Martin, U. & Owre, S., 1 Jan 2001, Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Proceedings. Boulton, R. J. & Jackson, P. B. (eds.). Springer-Verlag, p. 27-42 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2152).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The classification of polynomial orderings on monadic terms
Cropper, N. & Martin, U., Jul 2001, In: Applicable Algebra in Engineering Communication and Computing. 12, p. 197-226 30 p.Research output: Contribution to journal › Article › peer-review
-
Invariants, Patterns and Weights for Ordering Terms
Martin, U. H. M. & Shand, D., Jun 2000, In: Journal of Symbolic Computation. 29, 6, p. 921-957 37 p.Research output: Contribution to journal › Article › peer-review