1 resultado para Decision procedure
em Nottingham eTheses
Filtro por publicador
- Academic Research Repository at Institute of Developing Economies (1)
- Archive of European Integration (67)
- Aston University Research Archive (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (55)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (4)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (5)
- Brock University, Canada (1)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CentAUR: Central Archive University of Reading - UK (4)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (71)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- Dalarna University College Electronic Archive (1)
- Digital Commons at Florida International University (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (69)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (1)
- Institute of Public Health in Ireland, Ireland (2)
- Instituto Politécnico do Porto, Portugal (58)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (186)
- Laboratório Nacional de Energia e Geologia - Portugal (1)
- Martin Luther Universitat Halle Wittenberg, Germany (5)
- Massachusetts Institute of Technology (1)
- Nottingham eTheses (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (15)
- Repositório da Escola Nacional de Administração Pública (ENAP) (1)
- Repositório da Produção Científica e Intelectual da Unicamp (1)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (3)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (37)
- Scielo Saúde Pública - SP (65)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (10)
- Universidad Politécnica de Madrid (4)
- Universidade do Minho (21)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universidade Metodista de São Paulo (3)
- Universitat de Girona, Spain (2)
- Université de Lausanne, Switzerland (223)
- University of Connecticut - USA (1)
- University of Michigan (1)
- University of Queensland eSpace - Australia (55)
Relevância:
Resumo:
We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.
