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

Links to this item

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://ebookcentral.proquest.com/lib/unt/detail.action?docID=1679319";'" ;
    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://ebookcentral.proquest.com/lib/unt/detail.action?docID=1679319";" ;
    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://0-search.ebscohost.com.librarycatalog.vts.edu/login.aspx?direct=true&scope=site&db=nlebk&AN=210586> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy043/2002066193.html> ;
    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#Place/river_edge_nj> # River Edge, NJ
    a schema:Place ;
    schema:name "River Edge, NJ" ;
    .

<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.