Concepedia

Ursula Martin

UM

Statistics

Publications

20

Citations

590

H-Index

16

Active since

1986

Affiliations

University of St Andrews(Current)

University of Oxford

Royal Holloway University of London

Queen Mary University of London

University of London

Ursula Martin is an author at University of St Andrews specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningDiscrete MathematicsEducationLinguisticsSocial SciencesLogic ProgrammingFormal Verification

Publications per year

1986–2020

20

Publications

20

Boolean unification — The story so far

Ursula Martin, Tobias Nipkow · Journal of Symbolic Computation · 1989 · 95 citations

Computational Logic, Engineering, Boolean Function +5

Logic for computer science

Ursula Martin · Science of Computer Programming · 1988 · 95 citations

Applied Logic, Engineering, Automated Reasoning +5

Automating the Knuth Bendix ordering

Jeremy Dick, John Kalmus, Ursula Martin · Acta Informatica · 1990 · 47 citations

Order Theory, Sorting Algorithm, Combinatorial Design +3

The order types of termination orderings on monadic terms, strings and multisets

Ursula Martin, Elizabeth Scott · 2002 · 31 citations

Order Theory, Combinatorics On Word, Termination Orderings +13

A ProCos Project Description: Esprit BRA 3104

Dines Bjoerner, C. A. R. Hoare, Jonathan P. Bowen et al. · Research Explorer (The University of Manchester) · 1989 · 31 citations

Industrial Design, Design, Education +7

1–5 of 20