WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/495034224

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

Part of a multi-volume work that has been designed to cover all major areas of the application of logic to theoretical computer science, this book explores term rewriting systems, Lambda calculi with types, elements of algorithmic proof, theorem provers and model and temporal logics.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Background, computational structures"@en
  • "Background, mathematical structures"@en
  • "Background: computational structures"
  • "Background: computational structures"@en
  • "Background : computational structures"

author

contributor

description

http://schema.org/description

  • "Part of a multi-volume work that has been designed to cover all major areas of the application of logic to theoretical computer science, this book explores term rewriting systems, Lambda calculi with types, elements of algorithmic proof, theorem provers and model and temporal logics."@en

editor

genre

http://schema.org/genre

  • "Matériel didactique"
  • "Handboeken (vorm)"

name

http://schema.org/name

  • "Handbook of logic in computer science/ 3, Semantic structures / vol. co-ordinator S. Abramsky"
  • "Handbook of logic in computer science/ 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay"
  • "Handbook of logic in computer science. Volume 2: Background: computational structures"@en
  • "Handbook of logic in computer science. Vol. 2, Background: computational structures"@en
  • "Handbook of logic in computer science. Vol. 2, Background: computational structures"
  • "Handbook of logic in computer science/ 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay"
  • "Handbook of logic in computer science / 4, Semantic modelling / vol. co-ordinator S. Abramsky"
  • "Handbook of logic in computer science. 2, Background : computational structures"
  • "Handbook of logic in computer science / Vol.2, Background : computational structures ; volume co-ordinator, Dov M. Gabbay"@en
  • "Handbook of logic in computer science. 2, Background. computational structures"
  • "Handbook of logic in computer science / Vol. 2, Background : computational structures / vol. co-ordinator Dov M. Gabbay"
  • "Handbook of logic in computer science. Vol. 2, Background - computational structures"
  • "Handbook of logic in computer science. Vol. 2, Background : Computational structures"
  • "Handbook of logic in computer science. Background. Vol. 2, Computational structures"
  • "Handbook of logic in computer science"@en
  • "Handbook of logic in computer science"

workExample

http://schema.org/workExample