Search the dblp DataBase
Gerard Allwein :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Benedek Nagy , Gerard Allwein Diagrams and Non-monotonicity in Puzzles. [Citation Graph (0, 0)][DBLP ] Diagrams, 2004, pp:82-96 [Conf ] Nik Swoboda , Gerard Allwein Modeling Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] Diagrams, 2002, pp:131-145 [Conf ] Gerard Allwein A qualitative framework for Shannon information theories. [Citation Graph (0, 0)][DBLP ] NSPW, 2004, pp:23-31 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. [Citation Graph (, )][DBLP ] Asynchronous Exceptions as an Effect. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.009secs