Work

Computation and Deduction

Year: 2020

Type: article

Author: Frank Pfenning

Institution: Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2161555915

FWCI: 0.283

Cites: 76

Cited by: 62

Related to: 10