Work

Mathematical Theory of Computation

Year: 1972

Type: article

Source: CERN Document Server (European Organization for Nuclear Research)

Author: Zohar Manna

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1579433101

FWCI: 3.16

Cites:

Cited by: 696

Related to: 20