A carregar...
Hammer for Coq: Automation for Dependent Type Theory
Hammers provide most powerful general purpose automation for proof assistants based on HOL and set theory today. Despite the gaining popularity of the more advanced versions of type theory, such as those based on the Calculus of Inductive Constructions, the construction of hammers for such foundatio...
Na minha lista:
| Publicado no: | J Autom Reason |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer Netherlands
2018
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6044314/ https://ncbi.nlm.nih.gov/pubmed/30069074 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-018-9458-4 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|