export record as
dblp key:
Stefan Berghofer :
First-Order Logic According to Fitting.
, (Formal proof development)
export record as
dblp key:
journals/afp/Berghofer07a Stefan Berghofer :
POPLmark Challenge Via de Bruijn Indices.
, (Formal proof development)
export record as
dblp key:
Hidetsune Kobayashi :
Fundamental Properties of Valuation Theory and Hensel's Lemma.
, (Formal proof development)
export record as
dblp key:
journals/afp/Oosterhuis07 export record as
dblp key:
journals/afp/Oosterhuis07a Roelof Oosterhuis :
Fermat's Last Theorem for Exponents 3 and 4 and the Parametrisation of Pythagorean Triples.
, (Formal proof development)
export record as
dblp key:
Sascha Böhme :
Much Ado About Two.
, (Formal proof development)
export record as
dblp key:
journals/afp/Lochbihler07 export record as
dblp key:
Peter Lammich ,
Markus Müller-Olm :
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.
, (Formal proof development)
data released under the ODC-BY 1.0 license
