skip to content
Handbook of logic in computer science. / 2, Background : computational structures Preview this item
ClosePreview this item
Checking...

Handbook of logic in computer science. / 2, Background : computational structures

Author: Samson Abramsky; Dov M Gabbay; Thomas S E Maibaum
Publisher: Oxford : Clarendon Press, 1992.
Series: Oxford science publications
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Samson Abramsky; Dov M Gabbay; Thomas S E Maibaum
ISBN: 0198537611 9780198537618
OCLC Number: 490122988
Description: 1 vol. (X-571 p.) : ill. ; 25 cm.
Contents: J.W. Klop: Term rewriting systems; H.P. Barendregt: Lambda calculi with types; D.M. Gabbay: Elements of algorithmic proof; Lawrence C. Paulson: Designing a theorem prover; Colin Stirling: Modal and temporal logics.
Series Title: Oxford science publications
Other Titles: Background : computational structures
Responsibility: edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.

Reviews

Editorial reviews

Publisher Synopsis

'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we Read more...

 
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/490122988> # Handbook of logic in computer science. 2, Background : computational structures
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "490122988" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/495034224#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/type> ; # type
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/demonstration_theoreme> ; # démonstration théorème
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/logique> ; # logique
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/lambda_calcul> ; # lambda calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/informatique_theorique> ; # informatique théorique
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/reecriture> ; # réécriture
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/logique_modale> ; # logique modale
   schema:about <http://experiment.worldcat.org/entity/work/data/495034224#Topic/logique_temporelle> ; # logique temporelle
   schema:alternateName "Background : computational structures" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/109321899> ; # Samson Abramsky
   schema:contributor <http://viaf.org/viaf/76325399> ; # Dov M. Gabbay
   schema:contributor <http://viaf.org/viaf/110055894> ; # Thomas S. E. Maibaum
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/495034224> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/495034224#Series/oxford_science_publications> ; # Oxford science publications
   schema:name "Handbook of logic in computer science. 2, Background : computational structures" ;
   schema:productID "490122988" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/490122988#PublicationEvent/oxford_clarendon_press_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/495034224#Agent/clarendon_press> ; # Clarendon Press
   schema:workExample <http://worldcat.org/isbn/9780198537618> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9302083> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/490122988> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/495034224#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/495034224#Series/oxford_science_publications> # Oxford science publications
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/490122988> ; # Handbook of logic in computer science. 2, Background : computational structures
   schema:name "Oxford science publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/495034224#Topic/demonstration_theoreme> # démonstration théorème
    a schema:Intangible ;
   schema:name "démonstration théorème" ;
    .

<http://experiment.worldcat.org/entity/work/data/495034224#Topic/informatique_theorique> # informatique théorique
    a schema:Intangible ;
   schema:name "informatique théorique" ;
    .

<http://experiment.worldcat.org/entity/work/data/495034224#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation" ;
    .

<http://experiment.worldcat.org/entity/work/data/495034224#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique" ;
    .

<http://viaf.org/viaf/109321899> # Samson Abramsky
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:deathDate "," ;
   schema:familyName "Abramsky" ;
   schema:givenName "Samson" ;
   schema:name "Samson Abramsky" ;
    .

<http://viaf.org/viaf/110055894> # Thomas S. E. Maibaum
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:deathDate "," ;
   schema:familyName "Maibaum" ;
   schema:givenName "Thomas S. E." ;
   schema:name "Thomas S. E. Maibaum" ;
    .

<http://viaf.org/viaf/76325399> # Dov M. Gabbay
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:deathDate "," ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://worldcat.org/isbn/9780198537618>
    a schema:ProductModel ;
   schema:isbn "0198537611" ;
   schema:isbn "9780198537618" ;
    .

<http://www.worldcat.org/title/-/oclc/490122988>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/490122988> ; # Handbook of logic in computer science. 2, Background : computational structures
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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