( en | de | ru )

 

Disambiguation of "Martin, Ursula"

Author of the publication

copydeleteadd this publication to your clipboard
Enabling mathematical cultures: introduction.

, , and . Synth., 198 (26): 6225-6231 (2021)

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

Computational logic and the social.. J. Log. Comput., 26 (2): 467-477 (2016)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)A Hoare logic for linear systems., , and . Formal Aspects Comput., 25 (3): 345-363 (2013)Modelling the way mathematics is actually done., , , , , and . FARM@ICFP, page 10-19. ACM, (2017)Design Verification for Control Engineering., , , , and . IFM, volume 2999 of Lecture Notes in Computer Science, page 21-35. Springer, (2004)A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems., , and . HSCC, volume 2623 of Lecture Notes in Computer Science, page 113-125. Springer, (2003)VSDITLU: a verifiable symbolic definite integral table look-up., , , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 112-126. Springer, (1999)Women in Logic 2018 workshop report., , , and . ACM SIGLOG News, 6 (1): 41-42 (2019)A general framework for sound and complete Floyd-Hoare logics., , , and . ACM Trans. Comput. Log., 11 (1): 7:1-7:31 (2009)