Andreja Prijatelj pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2001
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreja Prijatelj: Free Ordered Algebraic Structures Towards Proof Theory. J. Symb. Log. 66(2): 597-608 (2001)
1996
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreja Prijatelj: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. Notre Dame Journal of Formal Logic 37(1): 53-70 (1996)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreja Prijatelj: Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. Studia Logica 57(2/3): 437-456 (1996)
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreja Prijatelj: Connectification for n-contraction. Studia Logica 54(2): 149-171 (1995)
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreja Prijatelj: Lambek Calculus with Restricted Contraction and Expansion. Studia Logica 51(1): 125-143 (1992)
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 18:37:23 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page