Autor der Publikation

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

A Proof Procedure For Temporal Logic Programming., und . Int. J. Found. Comput. Sci., 15 (2): 417-443 (2004)On weak filters and ultrafilters: Set theory from (and for) knowledge representation., , , , und . Log. J. IGPL, 31 (1): 68-95 (Januar 2023)Locally stratified Boolean grammars., und . Inf. Comput., 206 (9-10): 1219-1233 (2008)Routing and Wavelength Assignment in Generalized WDM Tree Networks of Bounded Degree., , , und . Panhellenic Conference on Informatics, Volume 3746 von Lecture Notes in Computer Science, Seite 57-67. Springer, (2005)Stathis Zachos at 70!, , , , , , , , , und 1 andere Autor(en). CIAC, Volume 10236 von Lecture Notes in Computer Science, Seite 469-484. (2017)Strong equivalence of logic programs under the infinite-valued semantics., , und . Inf. Process. Lett., 109 (11): 576-581 (2009)A limit characterization for the number of spanning trees of graphs., , und . Inf. Process. Lett., 90 (6): 307-313 (2004)Game Semantics for Non-monotonic Intensional Logic Programming., , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 329-341. Springer, (2013)Satisfying a maximum number of pre-routed requests in all-optical rings., , und . Comput. Networks, 42 (1): 55-63 (2003)A game-theoretic characterization of Boolean grammars., , und . Theor. Comput. Sci., 412 (12-14): 1169-1183 (2011)