Hidenori Kurokawa

List of publications from the DBLP Bibliography Server - FAQ

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

2009

2 EE Hidenori Kurokawa: Tableaux and Hypersequents for Justification Logic. LFCS 2009: 295-308

2007

1 EE Hidenori Kurokawa: Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. LFCS 2007: 318-331

2009
2	EE	Hidenori Kurokawa: Tableaux and Hypersequents for Justification Logic. LFCS 2009: 295-308
2007
1	EE	Hidenori Kurokawa: Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. LFCS 2007: 318-331