On the programs-as-formulas interpretation of parallel programs in peano arithmetic.

E. J. Farkas Manfred E. Szabo

Published in: Ann. Pure Appl. Log. (1988)

Keyphrases

computer programs
automatic programming
search algorithm
information systems
high level
bayesian networks
general purpose
np complete
sorting algorithms
high level programming language