Search the dblp DataBase

Publications of Author

1. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr System for Model Checking over Syntactic Expressions. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:391-397 [Conf]
   
2. Andrew Gacek
   The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
3. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr system for model checking over syntactic expressions [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
4. Andrew Gacek, Gopalan Nadathur
   A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
5. 
   The Abella Interactive Theorem Prover (System Description). [Citation Graph (, )][DBLP]
   
   
6. 
   Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP]
   
   
7. 
   Relating nominal and higher-order abstract syntax specifications. [Citation Graph (, )][DBLP]
   
   
8. 
   Combining generic judgments with recursive definitions [Citation Graph (, )][DBLP]
   
   
9. 
   System Description: Abella -- A System for Reasoning about Computations [Citation Graph (, )][DBLP]
   
   
10. 
    Reasoning in Abella about Structural Operational Semantics Specifications [Citation Graph (, )][DBLP]
    
    
11. 
    Nominal Abstraction [Citation Graph (, )][DBLP]
    
    
12. 
    A Framework for Specifying, Prototyping, and Reasoning about Computational Systems [Citation Graph (, )][DBLP]
    
    
13. 
    A two-level logic approach to reasoning about computations [Citation Graph (, )][DBLP]
    
    
14. 
    Relating Nominal and Higher-order Abstract Syntax Specifications [Citation Graph (, )][DBLP]
    
    
15. 
    Reasoning in Abella about Structural Operational Semantics Specifications. [Citation Graph (, )][DBLP]