| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 15 |       | Michael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics. Studia Logica 80(2-3): 195-234 (2005) |
| 13 | | Michael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics CoRR cs.LO/0301026: (2003) |
Selection of 2 from 18 records - Robert Veroff has 16 coauthors
Copyright © 2009-12-08 by Michael Ley (ley@uni-trier.de)