ML for the working programmer von Paulson, Lawrence C.

A concrete final coalgebra theorem for ZF set theory von Paulson, Lawrence C.

ML for the working programmer von Paulson, Lawrence C.

Inhaltsverzeichnis

Experience with Isabelle a generic theorem prover von Paulson, Lawrence C.

Logic and computation interactive proof with Cambridge LCF von Paulson, Lawrence C.

Volltext öffnen

ML for the working programmer von Paulson, Lawrence C.

Inhaltsverzeichnis

Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

Co-induction and co-recursion in higher-order logic von Paulson, Lawrence C.

ML for the working programmer von Paulson, Lawrence C.

Designing a theorem prover von Paulson, Lawrence C.

Logic programming, functional programmin, ans inductive definitions von Paulson, Lawrence C., Smith, Andrew C.

A preliminary user's manual for Isabelle von Paulson, Lawrence C.

Logic and computation interactive proof with Cambridge LCF von Paulson, Lawrence C.

A compiler generator for semantic grammars von Paulson, Lawrence C.

Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

Volltext öffnen

ML for the working programmer von Paulson, Lawrence C.

ML for the working programmer von Paulson, Lawrence C.

ML for the working programmer von Paulson, Lawrence C.

Volltext öffnen

Isabelle a generic theorem prover von Paulson, Lawrence C.

Inhaltsverzeichnis

Introduction to Isabelle von Paulson, Lawrence C.