Došen, Kosta

Type

Date issued

81 2000 - 2027
140 1900 - 1999

Mp-cat.

119 M20/M50
31 М30/М60
30 M22
28 M10/M40
6 M21
3 M21a
3 M23
1 M70

Date issued - custom

Year from:

Year to:

Results 81-100 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2000	On permuting cut with contraction	Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran	Article	Mp. category will be shown later
1999	Negation in the light of modal logic	Došen, Kosta	Book parts	Mp. category will be shown later
1999	Cut elimination in categories	Došen, Kosta	Monograph	Mp. category will be shown later
1999	Le programme de Hilbert	Došen, Kosta	Book parts	Mp. category will be shown later
1999	Cartesian isomorphisms are symmetric monoidal: A justification of linear logic	Došen, Kosta ; Petrić, Zoran	Article	21M21
1999	Cut elimination in adjunction	Došen, Kosta	Article	Mp. category will be shown later
1999	Definitions of adjunction	Došen, Kosta	Conference Paper	Mp. category will be shown later
1999	On passing from singular to plural consequences	Došen, Kosta	Book parts	Mp. category will be shown later
1999	Cut elimination in adjuncion	Došen, Kosta	Article	Mp. category will be shown later
1999	Definitions of adjunction	Došen, Kosta	Article	Mp. category will be shown later
1998	Deductive systems and categories	Došen, Kosta	Article	Mp. category will be shown later
1998	Tortuous application	Došen, Kosta	Article	21M21
1998	Functions redefined	Došen, Kosta	Article	22M22
1998	Addenda and corrigenda to an "An introduction to adjunction"	Došen, Kosta	Article	Mp. category will be shown later
1998	An introduction to adjunction	Došen, Kosta	Article	Mp. category will be shown later
1997	Isomorphic objects in symmetric monoidal closed categoriest	Došen, Kosta ; Petrić, Zoran	Article	Mp. category will be shown later
1997	Tasić, Milan "Version intuitionniste du calcul des neg.-propositions (prédicats) - Makedon. Akad. Nauk. Umet. Oddel. Mat.-Tehn. Nauk. Prilozi 14 (1993), no.2, 5-12 (1995)	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1997	Logical consequence: A turn in style	Došen, Kosta	Conference Paper	Mp. category will be shown later
1997	Isomorphic objects in symmetric monoidal closed categories	Došen, Kosta ; Petrić, Zoran	Article	Mp. category will be shown later
1996	Deductive completeness	Došen, Kosta	Article	Mp. category will be shown later