View in EDS

Termination orders for 3-polygraphs

Saved in:
Bibliographic Details
Title: Termination orders for 3-polygraphs
Alternate Title: Ordres de terminaison pour 3-polygraphes
Authors: Guiraud, Yves1 guiraud@iml.univ-mrs.fr
Source: Comptes Rendus. Mathématique. Feb2006, Vol. 342 Issue 4, p219-222. 4p.
Subjects: Rewriting systems (Computer science), Mathematical category theory, Mathematics, Logic, Computer Science & Applications Inc.
Abstract (English): Abstract: This Note presents the first known class of termination orders for 3-polygraphs, together with an application. To cite this article: Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006). [Copyright &y& Elsevier]
Abstract (French): Résumé: Cette Note présente la première classe connue d''''ordres de terminaison adaptés aux 3-polygraphes, ainsi qu''''une application. Pour citer cet article : Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006).
Copyright of Comptes Rendus. Mathématique is the property of Academie des Science, Centre Mersenne 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: 19597396
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Termination orders for 3-polygraphs
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: Ordres de terminaison pour 3-polygraphes
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Guiraud%2C+Yves%22">Guiraud, Yves</searchLink><relatesTo>1</relatesTo><i> guiraud@iml.univ-mrs.fr</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Comptes+Rendus%2E+Mathématique%22">Comptes Rendus. Mathématique</searchLink>. Feb2006, Vol. 342 Issue 4, p219-222. 4p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Rewriting+systems+%28Computer+science%29%22">Rewriting systems (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+category+theory%22">Mathematical category theory</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics%22">Mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22Logic%22">Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+Science+%26+Applications+Inc%2E%22">Computer Science & Applications Inc.</searchLink>
– Name: Abstract
  Label: Abstract (English)
  Group: Ab
  Data: Abstract: This Note presents the first known class of termination orders for 3-polygraphs, together with an application. To cite this article: Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006). [Copyright &y& Elsevier]
– Name: Abstract
  Label: Abstract (French)
  Group: Ab
  Data: Résumé: Cette Note présente la première classe connue d''''ordres de terminaison adaptés aux 3-polygraphes, ainsi qu''''une application. Pour citer cet article : Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006). </ce:abst [Copyright 2006 Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Comptes Rendus. Mathématique is the property of Academie des Science, Centre Mersenne 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=19597396
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.crma.2005.12.019
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 219
    Subjects:
      – SubjectFull: Rewriting systems (Computer science)
        Type: general
      – SubjectFull: Mathematical category theory
        Type: general
      – SubjectFull: Mathematics
        Type: general
      – SubjectFull: Logic
        Type: general
      – SubjectFull: Computer Science & Applications Inc.
        Type: general
    Titles:
      – TitleFull: Termination orders for 3-polygraphs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Guiraud, Yves
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 15
              M: 02
              Text: Feb2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 1631073X
          Numbering:
            – Type: volume
              Value: 342
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Comptes Rendus. Mathématique
              Type: main
ResultId 1