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

Wojciech Zielonka

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

2007
4EEWojciech Zielonka: On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String. J. Log. Comput. 17(2): 299-310 (2007)
2002
3 Wojciech Zielonka: On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Studia Logica 71(1): 31-46 (2002)
2001
2 Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus L0. Journal of Logic, Language and Information 10(2): 233-236 (2001)
2000
1 Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus NL0. Journal of Logic, Language and Information 9(3): 339-352 (2000)

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