J. Polokow

List of publications from the DBLP Bibliography Server - FAQ

1999

1 EE J. Polokow, Frank Pfenning: Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. Electr. Notes Theor. Comput. Sci. 20: (1999)

1999
1	EE	J. Polokow, Frank Pfenning: Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. Electr. Notes Theor. Comput. Sci. 20: (1999)

Coauthor Index