Elementary formal systems, intrinsic complexity, and procrastination
type: Item
instance of: scholarly article
title: Elementary formal systems, intrinsic complexity, and procrastination
zbMATH Open document ID: 0872.68157
author: Sanjay Jain
author: A. K. Sharma
published in: Information and Computation
publication date: 1997-03-06T00:00:00Z
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 987862
zbMATH Keywords: elementary formal systems
zbMATH Keywords: logic programming
MaRDI profile type: Publication
full work available at URL: inco.1996.2614
OpenAlex ID: W1986174280
DOI: 10.1006/INCO.1996.2614
description: scientific article; zbMATH DE number 987862