Istraživači
Došen, Kosta
Rezultati 81-100 od 221
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana   ; Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | Le programme de Hilbert | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1999 | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | Došen, Kosta ; Petrić, Zoran | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 1999 | Cut elimination in categories | Došen, Kosta | Monografija | Mp kategorija će biti prikazana naknadno. |
| 1999 | Cut elimination in adjunction | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | On passing from singular to plural consequences | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1999 | Definitions of adjunction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1999 | Cut elimination in adjuncion | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | Negation in the light of modal logic | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1999 | Definitions of adjunction | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1998 | Tortuous application | Došen, Kosta | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 1998 | Functions redefined | Došen, Kosta | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1998 | Deductive systems and categories | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1998 | Addenda and corrigenda to an "An introduction to adjunction" | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1998 | An introduction to adjunction | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 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 | Informativni prilog | Mp kategorija će biti prikazana naknadno. |
| 1997 | Logical consequence: A turn in style | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Isomorphic objects in symmetric monoidal closed categoriest | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1997 | Isomorphic objects in symmetric monoidal closed categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Pogorzelski, Witold A. "A minimal implicational logic" - Philosophical logic in Poland, 213-216, Synthese Lib., 228, Kluwer Acad. Publ., Dordrecht, 1994. | Došen, Kosta | Informativni prilog | Mp kategorija će biti prikazana naknadno. |