Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183)
From MaRDI portal
scientific article; zbMATH DE number 6958614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions |
scientific article; zbMATH DE number 6958614 |
Statements
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (English)
0 references
19 October 2018
0 references
