Ursula Martin
Affiliations: Queen Mary University of London, UK
According to our database^{1},
Ursula Martin
authored at least 44 papers
between 1987 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2021
Synth., 2021
2019
ACM SIGLOG News, 2019
2018
CoRR, 2018
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningcolocated with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAIECAI 2018), 2018
2017
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.
Proceedings of the Intelligent Computer Mathematics  10th International Conference, 2017
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017
2016
J. Log. Comput., 2016
2015
Proceedings of the Automated Deduction  CADE25, 2015
Proceedings of the Ada Lovelace Symposium 2015, 2015
2013
Formal Aspects Comput., 2013
Formal Aspects Comput., 2013
CoRR, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
2009
ACM Trans. Comput. Log., 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
J. Symb. Comput., 2005
2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
2001
Appl. Algebra Eng. Commun. Comput., 2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
2000
J. Symb. Comput., 2000
Proceedings of the Automated Deduction, 2000
1999
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
Proceedings of the FM'99  Formal Methods, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998
1997
J. Symb. Log., 1997
1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Fundam. Informaticae, 1995
1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
1992
J. Symb. Comput., 1992
1990
Inf. Process. Lett., 1990
Acta Informatica, 1990
Automating Squiggol.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Theor. Comput. Sci., 1989
J. Symb. Comput., 1989
1988
J. Autom. Reason., 1988
1987
Inf. Process. Lett., 1987
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987