Programs, Proofs, Processes.

Fernando Ferreira Benedikt Löwe Elvira Mayordomo

Published in: Theory Comput. Syst. (2012)

Keyphrases

computer programs
intermediate level
formal proof
process model
theorem proving
artificial intelligence
social networks
evolutionary algorithm
source code
first order logic
theorem prover
primitive operations