Travelled to:
1 × Denmark
1 × France
1 × The Netherlands
Collaborated with:
T.Nipkow R.Sandner F.Weber
Talks about:
automata (2) function (1) theorem (1) support (1) process (1) practic (1) modular (1) isabell (1) theori (1) stream (1)
Person: Olaf Müller
DBLP: M=uuml=ller:Olaf
Contributed to:
Wrote 4 papers:
- TACAS-1997-SandnerM #proving #refinement #theorem proving
- Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.
- TACAS-1995-MullerN #deduction #model checking
- Combining Model Checking and Deduction for I/O-Automata (OM, TN), pp. 1–16.
- CADE-1994-MullerW #composition #higher-order #theory and practice
- Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.
- TAPSOFT-1997-MullerN #higher-order
- Traces of I/O-Automata in Isabelle/HOLCF (OM, TN), pp. 580–594.