BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=uuml=ller:Olaf

Contributed to:

TACAS 19971997
TACAS 19951995
CADE 19941994
TAPSOFT CAAP/FASE 19971997

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.