OpenAlex
A Clausal Approach to Proof Analysis in Second-Order Logic
Work
Year: 2008
Type: book-chapter
Source: Lecture notes in computer science
Authors Stefan Hetzl, Alexander Leitsch, Daniel S. Weller, Bruno Woltzenlogel Paleo
Institution TU Wien
Cites: 17
Cited by: 6
Related to: 10
FWCI: 0.998
Citation percentile (by year/subfield): 59.47
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed