Travelled to:1 × USA
Collaborated with:R.Loganantharaj J.Varghese
Talks about:parallel (1) theorem (1) connect (1) semant (1) formal (1) prove (1) micro (1) graph (1) deriv (1) autom (1)
Person: Robert A. Mueller
DBLP: Mueller:Robert_A=
Contributed to:
1986
1982Wrote 2 papers:
- CADE-1986-LoganantharajM #graph #parallel #proving #theorem proving
- Parallel Theorem Proving with Connection Graphs (RL, RAM), pp. 337–352.
- DAC-1982-MuellerV #automation #semantics
- Formal semantics for the automated derivation of micro-code (RAM, JV), pp. 815–824.