Work

Computer Certified Efficient Exact Reals in Coq

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-22673-1_7

Authors: Robbert Krebbers, Bas Spitters

Institution: Radboud University Nijmegen

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2104583970

FWCI: 1.753

Cites: 27

Cited by: 10

Related to: