Search CORE

4 research outputs found

A Uniform Method for Proving Lower Bounds of the Computational Complexity of Logical Theories

Author: Compton Kevin J.
Henson C. Ward
Publication venue
Publication date: 01/04/1987
Field of study

https://deepblue.lib.umich.edu/bitstream/2027.42/154178/1/39015100081655.pd

Deep Blue Documents at the University of Michigan

A normal form for natural deductions in a type theory with realizing terms

Author: Abrusci V.M.
Casari E.
Schwichtenberg Helmut
Publication venue: Ludwig-Maximilians-Universität München
Publication date: 01/01/1986
Field of study

Open Access LMU

Spektralproblem and Completeness of Logical Decision Problems

Author: BORGER E
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1984
Field of study

Archivio della Ricerca - Università di Pisa

core

core