Barendregt's variable convention in rule inductions
Date
Authors
Urban, Christian
Berghofer, Stefan
Norrish, Michael
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description