Maria Bulinska

List of publications from the DBLP Bibliography Server - FAQ

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

2005

1 EE Maria Bulinska: The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Studia Logica 81(1): 43-50 (2005)