Hans Lycke

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

1 EE Hans Lycke: An adaptive logic for relevant classical deduction. J. Applied Logic 5(4): 602-612 (2007)