Publication View

A universal approach (2007)

Andrew Martin,
Andrew Martin,
Ray Nickson,
Ray Nickson,
Mark Utting,
Mark Utting

Abstract

reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.31.1356
Source	ftp://svrc.it.uq.edu.au/techreports/tr97-15.ps.gz
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Tactical, Denotational Semantics, Algebraic Laws, Interactive theorem proving
Type	text
Language	English
Relation	10.1.1.100.9674, 10.1.1.31.3928, 10.1.1.35.9850, 10.1.1.58.3740