Search the dblp DataBase

Publications of Author

1. Benedek Nagy, Gerard Allwein
   Diagrams and Non-monotonicity in Puzzles. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:82-96 [Conf]
   
2. Nik Swoboda, Gerard Allwein
   Modeling Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2002, pp:131-145 [Conf]
   
3. Gerard Allwein
   A qualitative framework for Shannon information theories. [Citation Graph (0, 0)][DBLP]
   NSPW, 2004, pp:23-31 [Conf]
   
4. Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con
   The AAAI Fall Symposia. [Citation Graph (0, 0)][DBLP]
   AI Magazine, 1999, v:20, n:3, pp:87-89 [Journal]
   
5. Keye Martin, Ira S. Moskowitz, Gerard Allwein
   Algebraic Information Theory For Binary Channels. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:289-306 [Journal]
   
6. Nik Swoboda, Gerard Allwein
   Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
   
7. Nik Swoboda, Gerard Allwein
   Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:134, n:, pp:153-187 [Journal]
   
8. Gerard Allwein, Hilmi Demir, Lee Pike
   Logics for Classes of Boolean Monoids. [Citation Graph (0, 0)][DBLP]
   Journal of Logic, Language and Information, 2004, v:13, n:3, pp:241-266 [Journal]
   
9. Gerard Allwein, J. Michael Dunn
   Kripke Models for Linear Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:514-545 [Journal]
   
10. Gerard Allwein, Wendy MacCaull
    A Kripke Semantics for the Logic of Gelfand Quantales. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:68, n:2, pp:173-228 [Journal]
    
11. Nik Swoboda, Gerard Allwein
    Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:2, pp:136-149 [Journal]
    
12. 
    Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. [Citation Graph (, )][DBLP]
    
    
13. 
    Asynchronous Exceptions as an Effect. [Citation Graph (, )][DBLP]