No Cover Image

Conference Paper/Proceeding/Abstract 426 views

A computational interpretation of open induction / Ulrich, Berger

Pages: 326 - 334

Swansea University Author: Ulrich, Berger

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1109/LICS.2004.1319627

Published: 2004
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 326
End Page: 334