Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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
Visa övriga samt affilieringar
2011 (Engelska)Ingår i: Language and Automata Theory and Applications: 5th International Conference : Proceedings / [ed] Adrian Horia Dediu, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6638, 79-90 s.Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 6638, 79-90 s.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6638
Nyckelord [en]
Binary operators, Distributivity, Rule formats, Structural operational semantics
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20333ISI: 000308848700005Scopus ID: 2-s2.0-79957943473ISBN: 978-364221253-6 OAI: oai:DiVA.org:hh-20333DiVA: diva2:583426
Konferens
5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain, MAY 26-31, 2011
Tillgänglig från: 2013-01-08 Skapad: 2013-01-08 Senast uppdaterad: 2014-11-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Scopus

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 78 träffar
RefereraExporteraLänk till posten
Permanent länk

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