PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pasarella, Edelmira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics of structured normal logic programs.

, , , und . J. Log. Algebr. Program., 81 (5): 559-584 (2012)

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.

Keine Personen gefunden für den Autorennamen Pasarella, Edelmira
Eine Person hinzufügen mit dem Namen Pasarella, Edelmira
 

Weitere Publikationen von Autoren mit dem selben Namen

Comparing MapReduce and Pipeline Implementations for Counting Triangles., , und . PROLE, Volume 237 von EPTCS, Seite 20-33. (2016)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2005)Dynamic Pipelining of Multidimensional Range Queries., , , und . AMW, Volume 2369 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)A Functorial Framework for Constraint Normal Logic Programming., , , und . Applied Categorical Structures, 16 (3): 421-450 (2008)A Datalog Framework for Modeling Relationship-based Access Control Policies., und . SACMAT, Seite 91-102. ACM, (2017)Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework., und . CSF, Seite 232-242. IEEE Computer Society, (2015)A Functorial Framework for Constraint Normal Logic Programming., , , und . Essays Dedicated to Joseph A. Goguen, Volume 4060 von Lecture Notes in Computer Science, Seite 555-577. Springer, (2006)An Operational Framework to Reason about Policies Behavior in Trust Management System., und . AMW, Volume 1189 von CEUR Workshop Proceedings, CEUR-WS.org, (2014)MapReduce vs. Pipelining Counting Triangles., , und . AMW, Volume 1644 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)Constructive negation without subsidiary trees., , und . WFLP, Seite 195-209. (2000)