On the programs-as-formulas interpretation of parallel programs in peano arithmetic
Work
Year: 1988
Type: article
Source: Annals of Pure and Applied Logic
Authors Edward J. Farkas, M. E. Szabo
Institution Concordia University
Cites: 8
Cited by: 2
Related to: 10
FWCI: 0.867
Citation percentile (by year/subfield): 54.47
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed