Collaborated with:J.Schumann R.Letz
Talks about:parallelis (1) implement (1) theorem (1) perform (1) tutori (1) prover (1) effici (1) high (1)
Person: Franz J. Kurfess
DBLP: Kurfess:Franz_J=
Contributed to:
1990Wrote 1 papers:
- CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial
- Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.