Work

Structural complexity of proofs

Year: 1974

Type: book

Source: University Microfilms International eBooks

Author: Richard Statman

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W566558991

FWCI: 6.214

Cites:

Cited by: 79

Related to: 10