Work

System Description: Twelf — A Meta-Logical Framework for Deductive Systems

Year: 1999

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

DOI: 10.1007/3-540-48660-7_14

Authors: Frank Pfenning, Carsten Schürmann

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: W1727609483

FWCI: 9.584

Cites: 9

Cited by: 595

Related to: 8