Temporal logic

Temporal logic: mathematical foundations and computational aspects

by Gabbay, Dov M.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

Edition Statements

  • Publication Date:1994-2000.

Publication Statements

Notes

Vol. 2 by Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.

The Physical Object

  • Description:2 volumes : : illustrations ; : 24 cm.

Edition Identifiers

  • ISBN:0198537697, 9780198537694
  • oclc:ocm30474321
  • LC Classification:QA76.6
  • Dewey Decimal:511.3

Table of Contents

Vol.1. 1994.

Read More ↓

Subjects

COMPUTER PROGRAMMING Logic Logic, Symbolic and mathematical Logique symbolique et mathématique Programmation informatique Temporale Logik Temporele logica

Writers

Gabbay, Dov M. Finger, Marcelo Hodkinson, Ian Reynolds, Mark, (Mark A.)

More from this Series

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998
    more →
    Twenty-five years of constructive type theory

  • Twenty five years of constructive type theory

    1998.
    more →
    Twenty five years of constructive type theory

  • Twenty-five years of constructive type theory

    1998.
    more →

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Temporal Logic: Mathematical Foundations and Comp…

    DJVU · 4.4 MB · updated
    Login →
Log in to request a copy