SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:hh-20536"
 

Sökning: onr:"swepub:oai:DiVA.org:hh-20536" > Rule Formats for Di...

Rule Formats for Distributivity

Aceto, Luca, (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Cimini, Matteo, (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Ingólfsdóttir, Anna, (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
visa fler...
Mousavi, Mohammad Reza, 1978- (författare)
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Reniers, Michael A., (författare)
Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
visa färre...
Engelska 39s.
Serie: Computer science reports
Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)
Abstract Ämnesord
Stäng  
  • <p>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.</p>

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Science (hsv//eng)

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)
vet (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aceto, Luca
Cimini, Matteo
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
Reniers, Michael ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Delar i serien
Artiklar i publikationen
Av lärosätet
Högskolan i Halmstad

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy