MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

4 documents found, showing 1 through 4.

ATOM

Lightweight Formal Methods For Computer Algebra Systems
by Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin — 1998 — University of Rostock
…Lightweight Formal Methods For Computer Algebra Systems Martin Dunstan, Tom Kelsey, Steve Linton…
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
… Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface Martin Dunstan1, Hanne…
Cited by 12 (3 self) – Add To MetaCart

Debugging a High Level Language via a Unified Interpreter and Compiler Runtime Environment
by Jinlong Cai, Marc Moreno Maza, Stephen Watt, Martin Dunstan
… Jinlong Cai, Marc Moreno Maza, Stephen Watt, Martin Dunstan Abstract Aldor is a programming language…
Add To MetaCart

Formal Methods for Extensions to CAS
by Martin N. Dunstan, Tom Kelsey, Ursula Martin, Steve Linton — 1999 — In FM'99, Volume II
…) Martin N Dunstan ? , Tom Kelsey, Ursula Martin, and Steve Linton Division of Computer Science…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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