|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva |
A general framework for sound and complete Floyd-Hoare logics.  |
ACM Trans. Comput. Log.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva |
A General Framework for Sound and Complete Floyd-Hoare Logics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Denise W. Gürer, Jennifer Light, Christina Björkman, Rhian Davies, Mark S. Hancock, Anne Condon, Annemieke Craig, Vashti Galpin, Ursula Martin, Margit Pohl, Sylvia Wiltner, M. Suriya, Ellen Spertus, Joanne McGrath Cohoon, Gloria Childress Townsend, Paula Gabbert |
Women in Computing. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Erik A. Mathiesen, Paulo Oliva |
Hoare Logic in the Abstract. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Gottliebsen, Tom Kelsey, Ursula Martin |
Hidden verification for computational mathematics. |
J. Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin |
Design Verification for Control Engineering. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Boulton, Ruth Hardy, Ursula Martin |
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Cropper, Ursula Martin |
The Classification of Polynomial Orderings on Monadic Terms. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Termination, Term rewriting systems, Ordinals |
| 1 | Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre |
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Duncan Shand |
Invariants, Patterns and Weights for Ordering Terms. |
J. Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Colton, Volker Sorge, Ursula Martin |
Workshop: The Role of Automated Deduction in Mathematics. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
VSDITLU: a verifiable symbolic definite integral table look-up. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton |
Formal Methods for Extensions to CAS. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. |
ISSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin |
Lightweight Formal Methods for Computer Algebra Systems. |
ISSAC |
1998 |
DBLP DOI BibTeX RDF |
AXIOM |
| 1 | Ursula Martin, Elizabeth Scott |
The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand |
Algebra and Automated Deduction. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
Theorem Proving with Group Presentations: Examples and Questions. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
On the Diversity of Orderings on Strings. |
Fundam. Inform. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
Termination, Geometry and Invariants. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, M. Thomas |
Verification Techniques for LOTOS. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Jeannette M. Wing (eds.) |
First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 |
Larch |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ursula Martin |
Linear Interpretations by Counting Patterns. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Elizabeth Scott |
The order types of termination orderings on monadic terms, strings and multisets |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, M. Lai |
Some Experiments with a Completion Theorem Prover. |
J. Symb. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
A Note on Division Orderings on Strings. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, John Kalmus, Ursula Martin |
Automating the Knuth Bendix Ordering. |
Acta Inf. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Tobias Nipkow |
Ordered Rewriting and Confluence. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
A Geometrical Approach to Multiset Orderings. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Tobias Nipkow |
Boolean Unification - The Story So Far. |
J. Symb. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Tobias Nipkow |
Unification in Boolean Rings. |
J. Autom. Reasoning |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
Extension Functions for Multiset Orderings. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin |
How to Choose Weights in the Knuth Bendix Ordering. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Tobias Nipkow |
Unification in Boolean Rings. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")