( en | de | ru )

 

Disambiguation of "Martin, Ursula"

Author of the publication

copydeleteadd this publication to your clipboard
Ada Lovelace: The Making of a Computer Scientist

, , and . Bodleian Library, University of Oxford, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ursula Martin

Ursula Martin

Ursula Martin

Ursula Martin

Ursula Martin

 

Other publications of authors with the same name

A general framework for sound and complete Floyd-Hoare logics., , , and . ACM Trans. Comput. Log., 11 (1): 7:1-7:31 (2009)Women in Logic 2018 workshop report., , , and . ACM SIGLOG News, 6 (1): 41-42 (2019)Theorem Proving with Group Presentations: Examples and Questions.. CADE, volume 1104 of Lecture Notes in Computer Science, page 358-372. Springer, (1996)Stumbling Around in the Dark: Lessons from Everyday Mathematics.. CADE, volume 9195 of Lecture Notes in Computer Science, page 29-51. Springer, (2015)Invariants, Patterns and Weights for Ordering Terms., and . J. Symb. Comput., 29 (6): 921-957 (2000)Lightweight Formal Methods for Computer Algebra Systems., , , and . ISSAC, page 80-87. ACM, (1998)Computational logic and the social.. J. Log. Comput., 26 (2): 467-477 (2016)Modelling the way mathematics is actually done., , , , , and . FARM@ICFP, page 10-19. ACM, (2017)A General Framework for Sound and Complete Floyd-Hoare Logics, , , and . CoRR, (2008)Some Experiments with a Completion Theorem Prover., and . J. Symb. Comput., 13 (1): 81-100 (1992)