View in EDS HTML Full Text PDF Full Text

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.

Saved in:
Bibliographic Details
Title: Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
Authors: Bui, Dang Duy1,2, bddang@fit.hcmus.edu.vn, Tran, Duong Dinh3, Ogata, Kazuhiro3, Riesco, Adrian4
Source: Multimedia Tools & Applications; Apr2024, Vol. 83 Issue 12, p36865-36898, 34p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 176384713
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Bui%2C+Dang+Duy%22">Bui, Dang Duy</searchLink><relatesTo>1,2</relatesTo>, <i>bddang@fit.hcmus.edu.vn</i><br /><searchLink fieldCode="AU" term="%22Tran%2C+Duong+Dinh%22">Tran, Duong Dinh</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AU" term="%22Ogata%2C+Kazuhiro%22">Ogata, Kazuhiro</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AU" term="%22Riesco%2C+Adrian%22">Riesco, Adrian</searchLink><relatesTo>4</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Multimedia+Tools+%26+Applications%22">Multimedia Tools & Applications</searchLink>; Apr2024, Vol. 83 Issue 12, p36865-36898, 34p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=176384713
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s11042-023-15780-5
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 34
        StartPage: 36865
    Titles:
      – TitleFull: Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bui, Dang Duy
      – PersonEntity:
          Name:
            NameFull: Tran, Duong Dinh
      – PersonEntity:
          Name:
            NameFull: Ogata, Kazuhiro
      – PersonEntity:
          Name:
            NameFull: Riesco, Adrian
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 21
              M: 04
              Text: Apr2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 13807501
          Numbering:
            – Type: volume
              Value: 83
            – Type: issue
              Value: 12
          Titles:
            – TitleFull: Multimedia Tools & Applications
              Type: main
ResultId 1