Arithmetically complete modal theories
Work
Year: 1987
Type: other
Author S. N. Artemov
Cites:
Cited by: 11
Related to: 10
Citation percentile (by year/subfield): 80
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed