Partiality and recursion in interactive theorem provers – an overview
Work
Year: 2014
Type: article
Abstract: The use of interactive theorem provers to establish the correctness of critical parts of a software development or for formalizing mathematics is becoming more common and feasible in practice. However... more
Authors Ana Bove, Alexander Krauß, Matthieu Sozeau
Institutions Chalmers University of Technology, Technical University of Munich, Institut national de recherche en informatique et en automatique
Cites: 113
Cited by: 18
Related to: 10
FWCI: 0.992
Citation percentile (by year/subfield): 91.46
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green