Borisavljević, Mirjana

Godina od:

Godina do:

Rezultati 21-29 od 29 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2007	Normal Form Theorem for Systems of Sequents	Borisavljević, Mirjana	Naučni članak	Mp kategorija će biti prikazana naknadno.
2006	A connection between cut elimination and normalization	Borisavljević, Mirjana	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2004	Extended natural deduction images of conversions from the system of sequents	Borisavljević, Mirjana	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2003	Two measures for proving Gentzen's Hauptsatz without mix	Borisavljevic, Mirjana P	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2003	Minimum segments in sequent derivations	Borisavljevic, Mirjana	Naučni članak	Mp kategorija će biti prikazana naknadno.
2002	Kauffman monoids	Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2000	On permuting cut with contraction	Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran	Naučni članak	Mp kategorija će biti prikazana naknadno.
1999	A cut-elimination proof in intuitionistic predicate logic	Borisavljevic, Mirjana	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
1995	A connection between cut elimination and normalization	Borisavljevic, Mirjana	Naučni članak	Mp kategorija će biti prikazana naknadno.