The problem of the formalization of constructive topology
Work
Year: 2004
Type: article
Source: Archive for Mathematical Logic
Author Silvio Valentini
Institution University of Padua
Cites: 4
Cited by: 12
Related to: 10
FWCI: 2.86
Citation percentile (by year/subfield): 80.35
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed