Z. Manna. Mathematical Theory of Computation. McGraw-Hill, 1974. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Rule Warehouse System For Knowledge Sharing And Business.. - Liu (2001) (Correct)
Model Checking for the Concurrent Constraint Paradigm - Garcia (Correct)
A Note on an Expressiveness Hierarchy - For Multi-Exit Iteration (Correct)
Integrated Verification of Constraints and.. - Shi (2001) (Correct)
On the Mortality Problem for Matrices of Low Dimensions - Bournez, Branicky (Correct)
Program Schemas as Steadfast Programs and their Usage in.. - Flener (1997) (Correct)
A Higher-Order Implementation of Rewriting - Paulson (1983) (43 citations) (Correct)
Constructing Recursion Operators in Intuitionistic Type Theory - Paulson (1984) (9 citations) (Correct)
Dynamic Logic - Harel, Kozen, Tiuryn (1984) (356 citations) (Correct)
One-Dimensional Peg Solitaire, and Duotaire - Moore, Eppstein (2002) (Correct)
Classifying Inheritance Mechanisms in Concurrent.. - Crnogorac, Rao.. (1988) (2 citations) (Correct)
Flat Domains and Recursive Equations in ACL2 - Cowles (2002) (Correct)
Using Scalable Statecharts For Active Objects Internal Concurrency .. - Suciu (2000) (Correct)
Gedanken: A tool for pondering the tractability of correct.. - Ericson (1994) (Correct)
Query Processing for Complex Objects - Härder, Mitschang, Schöning (1992) (2 citations) (Correct)
Commutative Images Of Rational Languages And The Abelian Kernel.. - Delgado (2001) (Correct)
On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (8 citations) (Correct)
Structure Exits, Not Loops - Ben-Ari (1996) (Correct)
Algebra for Digital Design Derivation - August This Is (Correct)
First Order Predicate Calculus and Logic Programming - Pettorossi, Proietti (Correct)
Formalizing Non-Termination of Recursive Programs - Kahle, Studer (2001) (1 citation) (Correct)
Why the constant `undefined'? - Logics of partial terms for strict .. - Stärk (Correct)
Decision Questions on Integer Matrices - Harju (Correct)
Examples of Undecidable Problems for 2-Generator Matrix Semigroups - Cassaigne (7 citations) (Correct)
Mortality in Matrix Semigroups - Halava, Harju (2001) (Correct)
On the Mortality Problem for Matrices of Low Dimensions - Bournez, Branicky (1999) (Correct)
One-Dimensional Peg Solitaire, and Duotaire - Moore, Eppstein (2000) (Correct)
Course Information - Instructor Ada Dong (Correct)
A Declarative Semantics for Logic Program Refinement - Hayes, Nickson, Strooper.. (2000) (Correct)
A Classification of Formal Specifications Languages - Castell'o Krishnagiri And (Correct)
Theorem Provers Survey - Castelló, Mili (1998) (Correct)
Modeling Operating Systems Schedulers Wit.. - Breveglieri.. (Correct)
Primitive and Partial Rewriting - Dershowitz (2000) (Correct)
Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996) (51 citations) (Correct)
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
Modularity Meets Inheritance - Gilad Bracha Gary (1991) (66 citations) (Correct)
Colimits for Concurrent Collectors - Pavlovic, Pepper, Smith (Correct)
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
Integration of Static Runtime Analysis and Program Compilation - Kirner (2000) (Correct)
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory - Stefanescu (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (25 citations) (Correct)
Deriving an Applicative Heapsort Algorithm - Walter Guttmann University (Correct)
The Mortality Problem for Matrices of Low Dimensions - Bournez, Branicky (2002) (Correct)
Equivalence of Conservative, Free, Linear Program.. - Laurence.. (2002) (Correct)
Formalizing Non-Termination of Recursive - Programs Reinhard Kahle (2001) (Correct)
Activecase - Tool For Design Of Concurrent Object-Oriented.. - Suciu (2001) (Correct)
The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti (2002) (Correct)
Program Specification - Gordon (2001) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC