The formal verification of the ctm approach to forcing
Work
Year: 2024
Type: article
Source: Annals of Pure and Applied Logic
Institution Universidad Nacional de Córdoba
Cites: 24
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Climate action
Open Access status: green
Funders Secretaria de Ciencia y Tecnología - Universidad Nacional de Córdoba, Secretaria de Ciencia y Tecnología - Universidad Nacional de Córdoba
Grant IDS 33620180100855CB, 33620180100465CB