Searching for authors named Ursula Martin – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
