1 resultado para dance critic
em Nottingham eTheses
Filtro por publicador
- JISC Information Environment Repository (1)
- Repository Napier (2)
- Aberystwyth University Repository - Reino Unido (2)
- Academic Research Repository at Institute of Developing Economies (1)
- Adam Mickiewicz University Repository (2)
- Aquatic Commons (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (7)
- Aston University Research Archive (7)
- Biblioteca Digital de la Universidad Católica Argentina (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (46)
- Bibloteca do Senado Federal do Brasil (1)
- Blue Tiger Commons - Lincoln University - USA (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (25)
- Brock University, Canada (7)
- Bucknell University Digital Commons - Pensilvania - USA (35)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- Cambridge University Engineering Department Publications Database (14)
- CentAUR: Central Archive University of Reading - UK (16)
- Center for Jewish History Digital Collections (4)
- Chapman University Digital Commons - CA - USA (21)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (3)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Dalarna University College Electronic Archive (1)
- Deakin Research Online - Australia (151)
- Digital Archives@Colby (2)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (4)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (2)
- DRUM (Digital Repository at the University of Maryland) (19)
- Duke University (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
- Fachlicher Dokumentenserver Paedagogik/Erziehungswissenschaften (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (7)
- Greenwich Academic Literature Archive - UK (4)
- Harvard University (5)
- Helda - Digital Repository of University of Helsinki (13)
- Indian Institute of Science - Bangalore - Índia (27)
- Instituto Politécnico do Porto, Portugal (3)
- Martin Luther Universitat Halle Wittenberg, Germany (1)
- Ministerio de Cultura, Spain (2)
- National Center for Biotechnology Information - NCBI (1)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (7)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (76)
- Queensland University of Technology - ePrints Archive (272)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (12)
- Repositório Institucional da Universidade de Aveiro - Portugal (6)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (8)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- Scielo España (1)
- Universidad de Alicante (1)
- Universidade de Lisboa - Repositório Aberto (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Université de Montréal, Canada (3)
- University of Canberra Research Repository - Australia (2)
- University of Michigan (106)
- University of Queensland eSpace - Australia (10)
- University of Southampton, United Kingdom (1)
- University of Washington (2)
- WestminsterResearch - UK (2)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can be used to prove the congruence of two processes. A coinductive proof requires a relation to be chosen which can be proved to be a bisimulation. We use proof planning to develop a heuristic method which automatically constucts a candidate relation. If this relation doesn't allow the proof to go through a proof critic analyses the reasons why it failed and modifies the relation accordingly. Several proof tools have been developed to aid coinductive proofs but all require user interaction. Crucially they require the user to supply an appropriate relation which the system can then prove to be a bisimulation.