`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:

### Wrote 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.