( en | de | ru )

 

Disambiguierung von "Mikulás, Szabolcs"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Taming First-Order Logic.

. Logic Journal of the IGPL, 6 (2): 305-316 (1998)

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.

Mark Mikulás

Mikulas Simon

Szabolcs Petrus

Szabolcs Péteri

Mikulas Simon

 

Weitere Publikationen von Autoren mit dem selben Namen

Domain and range for angelic and demonic compositions., und . CoRR, (2018)Residuated Kleene Algebras., , und . Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2012)The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms., , und . Log. J. IGPL, 30 (5): 886-906 (2022)A note on expressing infinity in cylindrlc-relativised set algebras.. RelMiCS, Seite 239-243. (1997)The algebra of functions with antidomain and range., , und . CoRR, (2014)Axiomatizability of algebras of binary relations.. FotFS, Volume 23 von Trends in Logic, Seite 187-205. Springer, (2001)Colorful reducts., und . RelMiCS, Seite 106-110. (1998)The finite representation property for composition, intersection, domain and range., und . Int. J. Algebra Comput., 26 (6): 1199-1215 (2016)Algebras of Relations and Relevance Logic.. J. Log. Comput., 19 (2): 305-321 (2009)On representable ordered residuated semigroups.. Logic Journal of the IGPL, 19 (1): 233-240 (2011)