Publication View

A universal approach (2007)

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