( en | de | ru )

 

Disambiguierung von "Ternovska, Eugenia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Expressive power and abstraction in Essence.

, und . Constraints An Int. J., 13 (3): 343-384 (2008)

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.

Eugenia Kopas

Eugenia Gripp

Eugenia Lesina

Eugenia Alexake

Eugenia Winter

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Preference Formalism for Modular Systems., und . AAAI Spring Symposia, AAAI Press, (2015)A logic of nonmonotone inductive definitions., und . ACM Trans. Comput. Log., 9 (2): 14:1-14:52 (2008)Expressive power and abstraction in Essence., und . Constraints An Int. J., 13 (3): 343-384 (2008)A Semantic Account for Modularity in Multi-language Modelling of Search Problems., und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2011)Executable First-Order Queries in the Logic of Information Flows., , , , und . ICDT, Volume 155 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Problem Solving with the Enfragmo System., , und . Theory Pract. Log. Program., (2013)Promise Algebra: An Algebraic Model of Non-Deterministic Computations.. CoRR, (2023)New Encoding for Translating Pseudo-Boolean Constraints into SAT., , und . SARA, AAAI, (2013)Model Checking Abstract State Machines with Answer Set Programming., und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 443-458. Springer, (2005)PBINT, A Logic for Modelling Search Problems Involving Arithmetic., und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 610-624. Springer, (2010)