conf.researchr.org / Stephan Schulz
Not registered as user yet
Name: Stephan Schulz
Contributions
| TACAS 2019 | Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track |
Not registered as user yet
Name: Stephan Schulz
Contributions
| TACAS 2019 | Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track |