Search results for: Gerard Allwein
Logic and Logical Philosophy > 2017 > 26 > 1 > 19–61
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Logic and Diagrams > 131-145
Logic and Logical Philosophy > 2014 > 23 > 3 > 277–299
Logic and Logical Philosophy > 2011 > 20 > 1-2 > 81-110
Theoretical Computer Science > 2010 > 411 > 19 > 1918-1927
Electronic Notes in Theoretical Computer Science > 2006 > 158 > Complete > 289-306
Electronic Notes in Theoretical Computer Science > 2005 > 134 > Complete > 153-187
Software & Systems Modeling > 2004 > 3 > 2 > 136-149
Journal of Logic, Language and Information > 2004 > 13 > 3 > 241-266
Electronic Notes in Theoretical Computer Science > 2003 > 72 > 3 > 78-92
Studia Logica > 2001 > 68 > 2 > 173-228