Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Rudiments of [mu]-calculus
      1. 
      Rudiments of [mu]-calculus
      by 
      Arnold, A. (André), 1945-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444506207
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=146
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/146
      Format: 
      Excerpt: 
      1.Complete lattices and fixed-point theorems. 2. The mu-calculi: Syntax and semantics. 3. The
      Cover image for Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      2. 
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      by 
      International FCT-Conference (1983 : Borgholm, Sweden)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102
      Format: 
      Excerpt: 
      . Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4
      Cover image for Computability, complexity, and languages : fundamentals of theoretical computer science
      3. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Excerpt: 
      Predicate Logic; 2. Semantics; 3. Logical Consequence; 4. Herbrand's Theorem; 5. Unification; 6. Compactness
      Cover image for Handbook of process algebra
      4. 
      Handbook of process algebra
      by 
      Bergstra, J. A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
      Format: 
      Excerpt: 
      vertification (Groote, Reniers). Discrete time process algebra and the semantics of SDL (Bergstra, Middelburg