( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantics of normal logic programs with embedded implications.

, , и . APPIA-GULP-PRODE, стр. 1-15. Departamento de Informática, Universidade de Évora, (2001)

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.

No persons found for author name Pasarella, Edelmira
add a person with the name Pasarella, Edelmira
 

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

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 133-146. Springer, (2005)Comparing MapReduce and Pipeline Implementations for Counting Triangles., , и . PROLE, том 237 из EPTCS, стр. 20-33. (2016)A Functorial Framework for Constraint Normal Logic Programming., , , и . Appl. Categorical Struct., 16 (3): 421-450 (2008)A Datalog Framework for Modeling Relationship-based Access Control Policies., и . SACMAT, стр. 91-102. ACM, (2017)Dynamic Pipelining of Multidimensional Range Queries., , , и . AMW, том 2369 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)An Operational Framework to Reason about Policies Behavior in Trust Management System., и . AMW, том 1189 из CEUR Workshop Proceedings, CEUR-WS.org, (2014)MapReduce vs. Pipelining Counting Triangles., , и . AMW, том 1644 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework., и . CSF, стр. 232-242. IEEE Computer Society, (2015)A Functorial Framework for Constraint Normal Logic Programming., , , и . Essays Dedicated to Joseph A. Goguen, том 4060 из Lecture Notes in Computer Science, стр. 555-577. Springer, (2006)Semantics of normal logic programs with embedded implications., , и . APPIA-GULP-PRODE, стр. 1-15. Departamento de Informática, Universidade de Évora, (2001)