Search CORE

21 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

Logics of intuitionistic Kripke-Platek set theory

Author: Iemhoff R.
Passmann R.
Publication venue: 'Elsevier BV'
Publication date: 01/12/2021
Field of study

International Migration, Integration and Social Cohesion online publications

Use of proof planning in normalisation

Author: Busatto Renato
Publication venue: The University of Edinburgh
Publication date: 01/01/1995
Field of study

Edinburgh Research Archive

core

core