An Abstract Look at Realizability

14 years 5 months ago

act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001

Edmund Robinson, Giuseppe Rosolini

Automated Reasoning | CSL 2001 | Guiseppe Rosolini Department | Issn 1470-5559 March | Realizability Edmund Robinson |

claim paper

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	CSL
Authors	Edmund Robinson, Giuseppe Rosolini

Comments (0)