( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Expressive power and abstraction in Essence.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Eugenia Kopas

Eugenia Gripp

Eugenia Lesina

Eugenia Winter

Eugenia Alexake

 

Другие публикации лиц с тем же именем

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