( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Clique-independent sets of Helly circular-arc graphs.

, , , и . Electron. Notes Discret. Math., (2004)

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.

Mera Kuse

Gabriela Mera

Bahman Merati-Kashani

Peyman Merat

Josef Meran

 

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

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