( en | de | ru )

 

Disambiguierung von "Mera, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
DKAL and Z3: A Logic Embedding Experiment.

, und . Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 504-528. Springer, (2010)

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.

Gabriela Mera

Mera Kuse

Josef Meran

Michelle Merai

Bahman Merati-Kashani

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Legal Documents., , und . JURIX, Volume 223 von Frontiers in Artificial Intelligence and Applications, Seite 151-154. IOS Press, (2010)Computational Models for Normative Multi-Agent Systems., , , , , , , und . Normative Multi-Agent Systems, Volume 4 von Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Clique-independent sets of Helly circular-arc graphs., , , und . Electron. Notes Discret. Math., (2004)The Expressive Power of Memory Logics., , , und . Rev. Symb. Log., 4 (2): 290-318 (2011)Completeness Results for Memory Logics., , und . LFCS, Volume 5407 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2009)A Software Tool for Legal Drafting, , und . FLACOS, Volume 68 von EPTCS, Seite 71-86. (2011)DKAL and Z3: A Logic Embedding Experiment., und . Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 504-528. Springer, (2010)Performance improvement on legal model checking., , , , , , , , und . ICAIL, Seite 59-68. ACM, (2017)Completeness results for memory logics., , und . Ann. Pure Appl. Log., 163 (7): 961-972 (2012)Algorithms for finding clique-transversals of graphs., , , und . Ann. Oper. Res., 157 (1): 37-45 (2008)