View in EDS

On the expressive power of Kleene algebra with domain.

Saved in:
Bibliographic Details
Title: On the expressive power of Kleene algebra with domain.
Authors: Struth, Georg1 g.struth@sheffield.ac.uk
Source: Information Processing Letters. Apr2016, Vol. 116 Issue 4, p284-288. 5p.
Subjects: Kleene algebra, Power law (Mathematics), Semirings (Mathematics), Hoare logic, Numerical analysis
Abstract: It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not. [ABSTRACT FROM AUTHOR]
Copyright of Information Processing Letters is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 112665750
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: On the expressive power of Kleene algebra with domain.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Struth%2C+Georg%22">Struth, Georg</searchLink><relatesTo>1</relatesTo><i> g.struth@sheffield.ac.uk</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Information+Processing+Letters%22">Information Processing Letters</searchLink>. Apr2016, Vol. 116 Issue 4, p284-288. 5p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Kleene+algebra%22">Kleene algebra</searchLink><br /><searchLink fieldCode="DE" term="%22Power+law+%28Mathematics%29%22">Power law (Mathematics)</searchLink><br /><searchLink fieldCode="DE" term="%22Semirings+%28Mathematics%29%22">Semirings (Mathematics)</searchLink><br /><searchLink fieldCode="DE" term="%22Hoare+logic%22">Hoare logic</searchLink><br /><searchLink fieldCode="DE" term="%22Numerical+analysis%22">Numerical analysis</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Information Processing Letters is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=112665750
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.ipl.2015.11.007
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 5
        StartPage: 284
    Subjects:
      – SubjectFull: Kleene algebra
        Type: general
      – SubjectFull: Power law (Mathematics)
        Type: general
      – SubjectFull: Semirings (Mathematics)
        Type: general
      – SubjectFull: Hoare logic
        Type: general
      – SubjectFull: Numerical analysis
        Type: general
    Titles:
      – TitleFull: On the expressive power of Kleene algebra with domain.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Struth, Georg
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: Apr2016
              Type: published
              Y: 2016
          Identifiers:
            – Type: issn-print
              Value: 00200190
          Numbering:
            – Type: volume
              Value: 116
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Information Processing Letters
              Type: main
ResultId 1