Work

Logical Frameworks

Year: 2001

Type: book-chapter

Source: Elsevier eBooks

DOI: 10.1016/b978-044450813-3/50019-9

Author: Frank Pfenning

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3023993646

FWCI: 12.24

Cites: 187

Cited by: 57

Related to: 10