Searching for authors named Ursula Martin – sorted by Relevance.
-
Computers, Reasoning and Mathematical Practice
- Computers, reasoning and mathematical practice ? Ursula Martin um@(email omitted); University
- Cited by 6 (2 self) – Add To MetaCart
-
Invariants, Patterns and Weights for Ordering Terms
- Ursula Martin and Duncan Shand Division of Computer Science, University of St Andrews, St Andrews, Fife
- Add To MetaCart
-
Invariants, Patterns and Weights for Ordering Terms
- Ursula Martin and Duncan Shand Division of Computer Science, University of St Andrews, St Andrews, Fife
- Cited by 2 (0 self) – Add To MetaCart
-
The Classification of Polynomial Orderings on Monadic Terms
- Department, University of York, Heslington, Y01 5DD, UK. E-mail: nicrainster. york. ac. uk Ursula Martin
- Cited by 2 (2 self) – Add To MetaCart
-
SCOTLAND
- PROFESSOR URSULA MARTIN, DR ROY DYCKHOFF CONTENTS SCHOOL OF COMPUTER SCIENCE UNIVERSITY OF ST ANDREWS ST
- Add To MetaCart
-
An Experiment on Software Project Size and Effort Estimation
- AN EXPERIMENT ON SOFTWARE PROJECT SIZE AND EFFORT ESTIMATION Ursula Passing Department
- Cited by 4 (0 self) – Add To MetaCart
-
Lightweight Formal Methods For Computer Algebra Systems
- and Ursula Martin Division of Computer Science University of St Andrews North Haugh, St Andrews, UK fmnd
- Cited by 12 (5 self) – Add To MetaCart
-
Computer algebra meets automated theorem proving: Integrating Maple and pvs
- Gottliebsen2, Tom Kelsey2, and Ursula Martin2 1 NAG LTD, Wilkinson House, Jordan Hill Road, Oxford OX2 8DR
- Cited by 12 (3 self) – Add To MetaCart
-
Hidden Verification for Computational Mathematics
- mathematics HANNE COTTLIEBSEN 1, TOM IELSEY 2 AND URSULA MARTIN 2 ICA'E, NA'A Lagleg Research Ceter, Hampton
- Cited by 1 (1 self) – Add To MetaCart
-
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
- ⋆⋆ , Ruth Hardy, Ursula Martin School of Computer Science, University of St Andrews St Andrews, Fife
- Cited by 5 (4 self) – Add To MetaCart

