View in EDS PDF Full Text

Fork Algebras In Algebra, Logic And Computer Science

Saved in:
Bibliographic Details
Title: Fork Algebras In Algebra, Logic And Computer Science
Description: Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.
Authors: Marcelo Fabian Frias
Resource Type: eBook.
Subjects: Logic, Symbolic and mathematical, Computer science--Mathematics
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 210586
RelevancyScore: 979
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 978.796813964844
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$210586$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$210586$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Fork Algebras In Algebra, Logic And Computer Science
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Marcelo+Fabian+Frias%22">Marcelo Fabian Frias</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical%22">Logic, Symbolic and mathematical</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science--Mathematics%22">Computer science--Mathematics</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Software+Development+%26+Engineering+%2F+General%22">COMPUTERS / Software Development & Engineering / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Engineering%22">COMPUTERS / Computer Engineering</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=210586
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.0151
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic, Symbolic and mathematical
        Type: general
      – SubjectFull: Computer science--Mathematics
        Type: general
    Titles:
      – TitleFull: Fork Algebras In Algebra, Logic And Computer Science
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Marcelo Fabian Frias
      – PersonEntity:
          Name:
            NameFull: Marcelo Fabian Frias
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2002
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9789810248765
            – Type: isbn-electronic
              Value: 9789812777928
          Numbering:
            – Type: volume
              Value: 00002
          Titles:
            – TitleFull: Fork Algebras In Algebra, Logic And Computer Science
              Type: main
ResultId 1