dblp.uni-trier.dewww.uni-trier.de

Gabrielle Sinnadurai

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
1EEKrysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15(4): 293-304 (2007)

Coauthor Index

1Krysia Broda [1]
2Jiefei Ma [1]
3Alexander J. Summers [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)