( en | de | ru )

 

Disambiguierung von "Kowalski, Tomasz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analytic Cut and interpolation for bi-intuitionistic Logic.

, und . Rev. Symb. Log., 10 (2): 259-283 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tomasz Kupka

Ascheablagerungsprobleme bei der Mitverbrennung von alternativen Brennstoffen in Steinkohlekraftwerken. TU Clausthal-Zellerfeld, (2009)

Tomasz Wocjan

Dynamics of DNA in nucleosomes and plasmids studied by Brownian dynamics. Uni Heidelberg, (2009)

Arne Kowalski

Janina Kowalski

Kathrin Kowalski

 

Weitere Publikationen von Autoren mit dem selben Namen

PDL Has Interpolation.. J. Symb. Log., 67 (3): 933-946 (2002)Pretabular Varieties of Equivalential Algebras.. Reports Math. Log., (1999)Analytic Cut and interpolation for bi-intuitionistic Logic., und . Rev. Symb. Log., 10 (2): 259-283 (2017)On normal-valued basic pseudo-hoops., , und . Soft Comput., 16 (4): 635-644 (2012)Boolean like algebras., , , und . TACL, Volume 25 von EPiC Series in Computing, Seite 141-144. EasyChair, (2013)Robinson consistency in many-sorted hybrid first-order logics., , und . AiML, Seite 407-428. College Publications, (2022)Varieties of Tense Algebras.. Reports Math. Log., (1998)The Bottom of the Lattice of BCK-varieties.. Reports Math. Log., (1995)Retraction note for "PDL has interpolation".. J. Symb. Log., 69 (3): 935 (2004)A Note on Monothetic BCI., und . Notre Dame J. Formal Log., 47 (4): 541-544 (2006)