( en | de | ru )

 

Disambiguierung von "Németi, István"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Some Universal Algebraic and Model Theoretic Results in Computer Science.

, und . FCT, Volume 117 von Lecture Notes in Computer Science, Seite 16-23. Springer, (1981)

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.

István Szabó

István Szilágyi

István Lukács

István Futaky

István Lantos

 

Weitere Publikationen von Autoren mit dem selben Namen

A unifying theorem for algebraic semantics and dynamic logics., , und . FCT, Volume 199 von Lecture Notes in Computer Science, Seite 8-17. Springer, (1985)Nonstandard Dynamic Logic.. Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 311-348. Springer, (1981)A Characterization of Floyd-Provable Programs., , und . MFCS, Volume 118 von Lecture Notes in Computer Science, Seite 162-171. Springer, (1981)Algebraic Logic Conference., , , und . J. Symb. Log., 54 (2): 686 (1989)Weakly higher order cylindric algebras and finite axiomatization of the representables., und . Stud Logica, 91 (1): 53-62 (2009)Applying Algebraic Logic to Logic., , und . AMAST, Seite 5-26. Springer, (1993)Omitting types for finite variable fragments and complete representations of algebras., , und . J. Symb. Log., 73 (1): 65-89 (2008)Residuated Kleene Algebras., , und . Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2012)Relatively free relation algebras., , und . Algebraic Logic and Universal Algebra in Computer Science, Volume 425 von Lecture Notes in Computer Science, Seite 1-14. Springer, (1988)Algebraization of quantifier logics, an introductory overview.. Stud Logica, 50 (3-4): 485-569 (1991)