export record as
dblp key:
journals/afp/Lochbihler10 export record as
dblp key:
export record as
dblp key:
Daniel Wasserrab :
Information Flow Noninterference via Slicing.
, (Formal proof development)
export record as
dblp key:
Brian Huffman :
Free Boolean Algebra.
, (Formal proof development)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/afp/Wampler-Doty10 export record as
dblp key:
journals/afp/PreoteasaB10 export record as
dblp key:
journals/afp/PreoteasaB10a export record as
dblp key:
journals/afp/SternagelT10 export record as
dblp key:
journals/afp/SternagelT10a export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/afp/SternagelT10b export record as
dblp key:
Christian Doczkal :
Strong Normalization of Moggis's Computational Metalanguage.
, (Formal proof development)
export record as
dblp key:
journals/afp/NordhoffKL10 export record as
dblp key:
export record as
dblp key:
René Neumann :
Functional Binomial Queues.
, (Formal proof development)
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
