Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2010"

Auteurs J.A. Bergstra, A. Ponse Titel On Hoare-McCarthy algebras Uitgever University of Amsterdam, Informatics Institute Plaats Amsterdam Jaar 2010 Pagina's 29 Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica Instituut/afd. FNWI: Informatics Institute (II) Samenvatting We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare's conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy's notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences. Soort document Rapport Download bestand document/202302 Document finder Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/364641 Vraag/opmerking over dit recordMail aan een collega Toevoegen aan bewaarset

• Disclaimer/Klachtenregeling
  Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
  Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.

• UvA-DARE is een dienst van de Bibliotheek van de Universiteit van Amsterdam.