Proofs, Programs and Executable Specifications in Higher Order Logic

Proofs, Programs and Executable Specifications in Higher Order Logic (2003)

by Stefan Berghofer

Venue:	PHD THESIS, INSTITUT FÜR INFORMATIK
Citations:	8 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	Proofs, Programs and Executable Specifications in Higher Order Logic	INFERENCE
AUTHOR NAME	Stefan Berghofer	user correction
AUTHOR AFFIL		user correction
ABSTRACT		user correction
YEAR	2003	INFERENCE
VENUE	PHD THESIS, INSTITUT FÜR INFORMATIK	user correction
VENUE TYPE	TECHREPORT	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	26 found	ParsCit 1.0