Search the dblp DataBase
Andreja Prijatelj :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Andreja Prijatelj Free Ordered Algebraic Structures Towards Proof Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:2, pp:597-608 [Journal ] Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:53-70 [Journal ] Andreja Prijatelj Lambek Calculus with Restricted Contraction and Expansion. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1992, v:51, n:1, pp:125-143 [Journal ] Andreja Prijatelj Connectification for n -contraction. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:54, n:2, pp:149-171 [Journal ] Andreja Prijatelj Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1996, v:57, n:2/3, pp:437-456 [Journal ] Search in 0.002secs, Finished in 0.002secs