Hierarchies in classes of program schemes
type: Item
instance of: scholarly article
title: Hierarchies in classes of program schemes
zbMATH Open document ID: 0945.68076
author: S. R. Chauhan
author: Iain Stewart
author: A. A. Arratia-Quesada
publication date: 2000-03-16T00:00:00Z
full work available at URL: 5734.pdf
Mathematics Subject Classification ID: 68Q19
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 1416456
zbMATH Keywords: descriptive complexity theory
zbMATH Keywords: transitive closure logic
MaRDI profile type: Publication
OpenAlex ID: W2136302019
DOI: 10.1093/LOGCOM/9.6.915
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 1416456