dblp.uni-trier.dewww.uni-trier.de

Andrew Gacek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
10EEAndrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications. Electr. Notes Theor. Comput. Sci. 228: 85-100 (2009)
2008
9EEAndrew Gacek: The Abella Interactive Theorem Prover (System Description). IJCAR 2008: 154-161
8EEAndrew Gacek, Dale Miller, Gopalan Nadathur: Combining Generic Judgments with Recursive Definitions. LICS 2008: 33-44
7EEAndrew Gacek, Dale Miller, Gopalan Nadathur: Combining generic judgments with recursive definitions CoRR abs/0802.0865: (2008)
6EEAndrew Gacek: System Description: Abella -- A System for Reasoning about Computations CoRR abs/0803.2305: (2008)
5EEAndrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications CoRR abs/0804.3914: (2008)
2007
4EEDavid Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
3EEAndrew Gacek: The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi CoRR abs/cs/0702027: (2007)
2EEDavid Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)
1EEAndrew Gacek, Gopalan Nadathur: A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi CoRR abs/cs/0702152: (2007)

Coauthor Index

1David Baelde [2] [4]
2Dale Miller [2] [4] [5] [7] [8] [10]
3Gopalan Nadathur [1] [2] [4] [5] [7] [8] [10]
4Alwen Tiu (Alwen Fernanto Tiu) [2] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)