hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Rule Formats for Distributivity
School of Computer Science, Reykjavik University, Iceland.
School of Computer Science, Reykjavik University, Iceland.
School of Computer Science, Reykjavik University, Iceland.
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.ORCID-id: 0000-0002-4869-6794
Vise andre og tillknytning
2011 (engelsk)Inngår i: Language and Automata Theory and Applications: 5th International Conference : Proceedings / [ed] Adrian Horia Dediu, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6638, s. 79-90Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.

sted, utgiver, år, opplag, sider
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 6638, s. 79-90
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6638
Emneord [en]
Binary operators, Distributivity, Rule formats, Structural operational semantics
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20333ISI: 000308848700005Scopus ID: 2-s2.0-79957943473ISBN: 978-364221253-6 OAI: oai:DiVA.org:hh-20333DiVA, id: diva2:583426
Konferanse
5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain, MAY 26-31, 2011
Tilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 168 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf