| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. Studia Logica 69(1): 133-169 (2001) |
| 2 | | Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. TABLEAUX 2000: 220-236 |
Selection of 2 from 4 records - Lars Thalmann has 11 coauthors
Copyright © 2009-12-05 by Michael Ley (ley@uni-trier.de)