Computer Laboratory

Technical reports

Simplification with renaming:
a general proof technique for tableau and sequent-based provers

Fabio Massacci

May 1997, 26 pages

Full text

DVI (0.0 MB)

BibTeX record

@TechReport{UCAM-CL-TR-424,
  author =	 {Massacci, Fabio},
  title = 	 {{Simplification with renaming: a general proof technique
         	   for tableau and sequent-based provers}},
  year = 	 1997,
  month = 	 may,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-424.dvi.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-424}
}