MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ursula Martin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Computers, Reasoning and Mathematical Practice
by Ursula Martin
…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
by Ursula Martin, Duncan Shand — 1999 — Journal of Symbolic Computation
… 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
by Nick Cropper, Ursula Martin — 1998 — Applicable Algebra in Engineering, Communication and Computing
… Department, University of York, Heslington, Y01 5DD, UK. E-mail: nicrainster. york. ac. uk Ursula Martin…
Cited by 2 (2 self) – Add To MetaCart

Invariants, Patterns and Weights for Ordering Terms
by Ursula Martin And, Ursula Martin, Duncan Sh — 1999 — Journal of Symbolic Computation
… Ursula Martin and Duncan Shand Division of Computer Science, University of St Andrews, St Andrews, Fife…
Add To MetaCart

SCOTLAND
by Professor Ursula Martin
… PROFESSOR URSULA MARTIN, DR ROY DYCKHOFF CONTENTS SCHOOL OF COMPUTER SCIENCE UNIVERSITY OF ST ANDREWS ST…
Add To MetaCart

Lightweight Formal Methods For Computer Algebra Systems
by Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin — 1998 — University of Rostock
… 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
by Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin — 2001 — Theorem Proving in Higher Order Logics (TPHOLs 2001), volume 2152 of LNCS
… 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
by Hanne Gottliebsen, Tom Kelsey, Ursula Martin
… 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
by Richard J. Boulton, Ruth Hardy, Ursula Martin — 2003 — In Proceedings 6th International Workshop on Hybrid Systems, Computation and Control
… ⋆⋆ , Ruth Hardy, Ursula Martin School of Computer Science, University of St Andrews St Andrews, Fife…
Cited by 5 (4 self) – Add To MetaCart

J. Symbolic Computation (1999) 11, 1-000
by Invariants Patterns And, Ursula Martin, Duncan Sh
… 2 Ursula Martin and Duncan Shand to the derivation complexity of T (Cichon and Weiermann, 1997…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB