Autor der Publikation

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.

, , , , und . IBERAMIA-SBIA, Volume 4140 von Lecture Notes in Computer Science, Seite 602-611. Springer, (2006)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Fuzzy Logic, Soft Computing, and Applications., , und . IWANN (1), Volume 5517 von Lecture Notes in Computer Science, Seite 236-244. Springer, (2009)Knowledge discovery in social networks by using a logic-based treatment of implications., , , , und . Knowl. Based Syst., (2015)On the construction of adjunctions between a fuzzy preposet and an unstructured set., , , , und . Fuzzy Sets Syst., (2017)Galois connections in computational intelligence: A short survey., , und . SSCI, Seite 1-7. IEEE, (2017)Galois Connections Between Unbalanced Structures in a Fuzzy Framework., , , und . IPMU (3), Volume 1239 von Communications in Computer and Information Science, Seite 736-747. Springer, (2020)Computing the Mixed Concept Lattice., , , , und . IPMU (1), Volume 1601 von Communications in Computer and Information Science, Seite 87-99. Springer, (2022)Encoding Non-global Time Representations into the Lattice of Divisibility., , , , und . IPMU (1), Volume 1601 von Communications in Computer and Information Science, Seite 118-129. Springer, (2022)On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures., , , , und . CLA, Volume 1624 von CEUR Workshop Proceedings, Seite 97-108. CEUR-WS.org, (2016)A Galois connection between partial formal contexts and attribute sets., , , und . CLA, Volume 3308 von CEUR Workshop Proceedings, Seite 45-56. CEUR-WS.org, (2022)A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , und . SBIA, Volume 3171 von Lecture Notes in Computer Science, Seite 31-40. Springer, (2004)