skip to content
Folk algebras in algebra : logic and computer science Preview this item
ClosePreview this item
Checking...

Folk algebras in algebra : logic and computer science

Author: Marcelo Fabián Frias
Publisher: River Edge, NJ : World Scientific, 2002.
Series: Advances in logic, v. 2.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. Many applications of Fork algebras in formal methods are foreseen, and the work covers all  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Frias, Marcelo Fabián, 1968-
Folk algebras in algebra.
River Edge, NJ : World Scientific, ©2002
(DLC) 2002066193
(OCoLC)49558950
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marcelo Fabián Frias
ISBN: 9789812777928 981277792X 9789810248765 9810248768
OCLC Number: 277199781
Description: 1 online resource (xi, 217 pages).
Contents: Contents: Introduction and Motivations; Algebras of Binary Relations and Relation Algebras; Proper and Abstract Fork Algebras; Representability and Independence; Interpretability of Classical First-Order Logic; Algebraization of Non-Classical Logics; A Calculus for Program Construction.
Series Title: Advances in logic, v. 2.
Responsibility: Marcelo Fabián Frias.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/277199781> # Folk algebras in algebra : logic and computer science
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "277199781" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/794179205#Place/river_edge_nj> ; # River Edge, NJ
   rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1679319";target="_blank'" ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
   schema:about <http://dewey.info/class/004.0151/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
   schema:about <http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_reference> ; # COMPUTERS--Reference
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/36271440> ; # Marcelo Fabián Frias
   schema:datePublished "2002" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/794179205> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/794179205#Series/advances_in_logic> ; # Advances in logic ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/49558950> ;
   schema:name "Folk algebras in algebra : logic and computer science"@en ;
   schema:productID "277199781" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/277199781#PublicationEvent/river_edge_nj_world_scientific_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/794179205#Agent/world_scientific> ; # World Scientific
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210586> ;
   schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1679319> ;
   schema:url <http://site.ebrary.com/id/10201237> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy043/2002066193.html> ;
   schema:url "http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1679319";target="_blank" ;
   schema:workExample <http://worldcat.org/isbn/9789810248765> ;
   schema:workExample <http://worldcat.org/isbn/9789812777928> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/277199781> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/794179205#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Series/advances_in_logic> # Advances in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/277199781> ; # Folk algebras in algebra : logic and computer science
   schema:name "Advances in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
   schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
   schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
   schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794179205#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
   schema:name "COMPUTERS--Reference"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/36271440> # Marcelo Fabián Frias
    a schema:Person ;
   schema:birthDate "1968" ;
   schema:familyName "Frias" ;
   schema:givenName "Marcelo Fabián" ;
   schema:name "Marcelo Fabián Frias" ;
    .

<http://worldcat.org/isbn/9789810248765>
    a schema:ProductModel ;
   schema:isbn "9810248768" ;
   schema:isbn "9789810248765" ;
    .

<http://worldcat.org/isbn/9789812777928>
    a schema:ProductModel ;
   schema:isbn "981277792X" ;
   schema:isbn "9789812777928" ;
    .

<http://www.worldcat.org/oclc/49558950>
    a schema:CreativeWork ;
   rdfs:label "Folk algebras in algebra." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/277199781> ; # Folk algebras in algebra : logic and computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.