A complete logic for reasoning about programs via nonstandard model theory II
Work
Year: 1982
Type: article
Source: Theoretical Computer Science
Authors Hajnal Andréka, István Németi, Ildikó Sain
Institution Hungarian Academy of Sciences
Cites: 10
Cited by: 22
Related to: 10
FWCI: 2.625
Citation percentile (by year/subfield): 80.9
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed