( en | de | ru )

 

Disambiguierung von "Nomikos, Christos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Proof Procedure For Temporal Logic Programming.

, und . Int. J. Found. Comput. Sci., 15 (2): 417-443 (2004)

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.

Panagiotis Nomikos

Marina Nomikos

Georgios Nomikos

Christos Tagarakis

Christos Koutras

 

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)Locally stratified Boolean grammars., und . Inf. Comput., 206 (9-10): 1219-1233 (2008)On weak filters and ultrafilters: Set theory from (and for) knowledge representation., , , , und . Log. J. IGPL, 31 (1): 68-95 (Januar 2023)Stathis Zachos at 70!, , , , , , , , , und 1 andere Autor(en). CIAC, Volume 10236 von Lecture Notes in Computer Science, Seite 469-484. (2017)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)Game Semantics for Non-monotonic Intensional Logic Programming., , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 329-341. Springer, (2013)A game-theoretic characterization of Boolean grammars., , und . Theor. Comput. Sci., 412 (12-14): 1169-1183 (2011)Satisfying a maximum number of pre-routed requests in all-optical rings., , und . Comput. Networks, 42 (1): 55-63 (2003)A limit characterization for the number of spanning trees of graphs., , und . Inf. Process. Lett., 90 (6): 307-313 (2004)Strong equivalence of logic programs under the infinite-valued semantics., , und . Inf. Process. Lett., 109 (11): 576-581 (2009)