onr:"swepub:oai:DiVA.org:hh-20523"
Search: onr:"swepub:oai:DiVA.org:hh-20523" > On Rule Formats for...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Aceto, LucaICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (author)
On Rule Formats for Zero and Unit Elements
- BookEnglish2010
Publisher, publication year, extent ...
- Eindhoven :Eindhoven University of Technology,2010
- 34 s.
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:hh-20523
- https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20523URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Cimini, MatteoICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (author)
- Ingólfsdóttir, AnnaICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (author)
- Mousavi, Mohammad Reza,1978-Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou (author)
- Reniers, Michael A.Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands (author)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, IcelandDepartment of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands (creator_code:org_t)
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Aceto, Luca
- Cimini, Matteo
- Ingólfsdóttir, A ...
- Mousavi, Mohamma ...
- Reniers, Michael ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- By the university
- Halmstad University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
