Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, Alan
(Principal Investigator)
Aspinall, David
(Co-Investigator (External))
Colton, Simon
(Co-Investigator (External))
Fleuriot, Jacques
(Co-Investigator (External))
Gow, Jeremy
(Co-Investigator (External))
Grov, Gudmund
(Co-Investigator (External))
Ireland, Andrew
(Co-Investigator (External))
Jackson, Paul
(Co-Investigator (External))
Mcneill, Fiona
(Co-Investigator (External))
Michaelson, Greg
(Co-Investigator (External))
Smaill, Alan
(Co-Investigator (External))
School of Informatics
Laboratory for Foundations of Computer Science
Data Science and Artificial Intelligence
Foundations of Computation
Language, Interaction and Robotics
Overview
Fingerprint
Research output
(28)
Research output
Research output per year
2013
2015
2016
2017
2021
14
Conference contribution
7
Article
3
Chapter (peer-reviewed)
1
Chapter
3
More
1
Paper
1
Book/Film/Article review
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2016
Reformation: A Domain-Independent Algorithm for Theory Repair
Bundy, A.
&
Mitrovic, B.
,
1 Feb 2016
,
p. 1-24
,
24 p.
Research output
:
Working paper
File
Domains
100%
Independent Algorithm
100%
Unification
100%
Algorithm
100%
Reasoning
33%