A carregar...
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL
We prove Chen and Grätzer’s construction theorem for Stone algebras in Isabelle/HOL. The development requires extensive reasoning about algebraic structures in addition to reasoning in algebraic structures. We present an approach for this using classes and locales with implicit carriers. This involv...
Na minha lista:
| Publicado no: | Automated Reasoning |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324036/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51054-1_14 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|