SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9783642402067 OR L773:9783642402050 "

Search: L773:9783642402067 OR L773:9783642402050

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Aceto, Luca, et al. (author)
  • Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
  • 2013
  • In: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783642402067 - 9783642402050 ; , s. 36-50
  • Conference paper (peer-reviewed)abstract
    • In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Aceto, Luca (1)
Ingólfsdóttir, Anna (1)
Mousavi, Mohammad Re ... (1)
Reniers, Michel A. (1)
Goriac, Eugen-Ioan (1)
University
Halmstad University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2013 (1)

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