Gries, D. and F.B. Schneider. A Logical Approach to Discrete Math. Springer Verlag, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Automatic Feature Construction and Optimization - For General Game (Correct)
Contracts, Components, and their Runtime Verification on the .. - Barnett, Schulte (2002) (Correct)
Incremental Program Analysis via Language Factors - de Moor, Drape, Lacey.. (2002) (1 citation) (Correct)
Specification of Replication Techniques, Semi-Passive.. - Defago, Schiper (2002) (Correct)
Composition and Refinement of Discrete Real-Time Systems - Ostroff (1998) (4 citations) (Correct)
Adapting Calculational Logic to the Undefined - Schieder, Broy (1999) (1 citation) (Correct)
Interpreting Data Network Language on a Single Processor - Cui (2001) (Correct)
Integrating Logic into the Computer Science Curriculum - Barland, Felleisen.. (Correct)
Should Your Specification Language Be Typed? - Lamport, Paulson (1999) (1 citation) (Correct)
Partiality and Nondeterminacy in Program Proofs - Morris, Bunkenburg (1999) (1 citation) (Correct)
A Basic Formal Equational Predicate Logic - Tourlakis (1998) (Correct)
SCAPA User Manual - Pape (1999) (Correct)
Diagrammatic Representations in Domain-Specific Languages - Tourlas (2000) (2 citations) (Correct)
(In)Formal Methods: Teaching Program Derivation via .. - Foster, Barnett.. (Correct)
E3: A Logic for Reasoning Equationally in the Presence of.. - Morris, Bunkenburg (Correct)
Developing BON as an Industrial-Strength Formal Method - Paige, Ostroff (1999) (Correct)
Formal Methods in the Classroom: The Logic of Real-Time.. - Ostroff, Paige (1999) (Correct)
On Equivalents of Well-foundedness - An experiment in Mizar - Rudnicki, Trybulec (Correct)
Structured Calculational Proof - Back, Grundy, von Wright (1996) (8 citations) (Correct)
Structured Calculational Proof - Back, Grundy, von Wright (1996) (8 citations) (Correct)
A Browsable Format for Proof Presentation - Grundy (1996) (8 citations) (Correct)
Enhancing the Pre- and Postcondition Technique for More.. - Leavens, Baker (1997) (12 citations) (Correct)
Teaching freshman logic with Mizar-MSE - Hoover, Rudnicki (1996) (2 citations) (Correct)
Mathpad - Tool Support for the Calculational Method - Backhouse, Verhoeven (1996) (1 citation) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
Towards a Browsable Record of HOL Proofs - Grundy, Långbacka (1996) (2 citations) (Correct)
A Compositional Theory of Constraint Hierarchies - Jampel (1995) (Correct)
Four Dark Corners Of Requirements Engineering - Zave (1997) (65 citations) (Correct)
Toward Reliable Modular Programs - Leino (1995) (32 citations) (Correct)
The Timed Predicative Calculus as a Framework for Comparative .. - Ostroff, Paige (2000) (Correct)
Proof Systems { A Vade-mecum - Esslli Birmingham Krysia (2000) (Correct)
Conditional Composition - Manohar, Leino (1995) (Correct)
Information Processing Letters 77 (2001) 71--76 - The Associativity Of (1992) (13 citations) (Correct)
A Formalization of Finite and Infinite Sequences in PVS - Devillers, Griffioen (1997) (5 citations) (Correct)
Protection from the Underspecified - Leavens, Wing (1996) (Correct)
Formal Method Integration via Heterogeneous Notations - Paige (1997) (1 citation) (Correct)
Protection from the Underspecified - Leavens, Wing (1996) (Correct)
A New Approach to Teaching Mathematics - Gries, Schneider (1994) (1 citation) Self-citation (Gries) (Correct)
A New Approach to Teaching Mathematics - Gries, Schneider (1994) (1 citation) Self-citation (Gries) (Correct)
Formalizations Of Substitution Of Equals For Equals - Gries, Schneider (1998) (1 citation) Self-citation (Gries) (Correct)
Adding the Everywhere Operator to Propositional Logic - Gries, Schneider Self-citation (Gries) (Correct)
Formalizations Of Substitution Of Equals For Equals - Gries, Schneider (1998) (1 citation) Self-citation (Gries) (Correct)
Avoiding the Undefined by Underspecification - Gries, Schneider (1995) (17 citations) Self-citation (Gries) (Correct)
A New Approach to Teaching Discrete Mathematics - Gries, Schneider (2001) Self-citation (Gries) (Correct)
A New Approach to Teaching Discrete Mathematics - Gries, Schneider (2001) Self-citation (Gries) (Correct)
Adding the Everywhere Operator to Propositional Logic - Gries, Schneider Self-citation (Gries) (Correct)
A New Approach to Teaching Mathematics - Gries, Schneider (1994) (1 citation) Self-citation (Gries) (Correct)
A New Approach to Teaching Mathematics - Gries, Schneider (1994) (1 citation) Self-citation (Gries) (Correct)
On Presenting Monotonicity and On . . . - Gries Self-citation (Gries) (Correct)
Formal Versus Semiformal Proof in Teaching Predicate Logic - Gries Self-citation (Gries) (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