BRICS Basic Research in Computer Science BRICS NS-98-6 Butz et al. (eds.): Abstracts of the Workshop on Proof Theory and Complexity, PTAC ’98 Abstracts of the Workshop on

First Page		Document Content
Date: 1998-07-30 03:38:54		BRICS Basic Research in Computer Science BRICS NS-98-6 Butz et al. (eds.): Abstracts of the Workshop on Proof Theory and Complexity, PTAC ’98 Abstracts of the Workshop on Add to Reading List Source URL: www.brics.dk Download Document from Source Website File Size: 90,35 KB Share Document on Facebook