SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9783642212536 "

Search: L773:9783642212536

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Aceto, Luca, et al. (author)
  • Rule Formats for Distributivity
  • 2011
  • In: Language and Automata Theory and Applications. - Heidelberg : Springer Berlin/Heidelberg. - 9783642212536 ; , s. 79-90
  • Conference paper (peer-reviewed)abstract
    • 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.
  •  
2.
  • Berglund, Martin, et al. (author)
  • Recognizing shuffled languages
  • 2011
  • In: Language and Automata Theory and Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642212536 ; , s. 142-154
  • Conference paper (peer-reviewed)abstract
    • Language models that use interleaving, or shuffle, operators have applications in various areas of computer science, including system verification, plan recognition, and natural language processing. We study the complexity of the membership problem for such models, i.e., how difficult it is to determine if a string belongs to a language or not. In particular, we investigate how interleaving can be introduced into models that capture the context-free languages.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2

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.

 
pil uppåt Close

Copy and save the link in order to return to this view