Logical Approaches to Computational Barriers
type: Item
instance of: scholarly article
title: Logical Approaches to Computational Barriers
zbMATH Open document ID: 1145.03320
DOI: 10.1007/11780342
author: Lars Kristiansen
published in: Lecture Notes in Computer Science
publication date: 2007-04-30T00:00:00Z
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5147778
zbMATH Keywords: Complexity theory
zbMATH Keywords: subrecursive classes
zbMATH Keywords: types
zbMATH Keywords: \(\lambda\)-calculi
zbMATH Keywords: Gödel's \(T\)
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/11780342
OpenAlex ID: W4255986326
DBLP publication ID: conf/cie/2006
description: scientific article; zbMATH DE number 5147778