From post

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.

 

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

Computing LZ77 in Run-Compressed Space., и . CoRR, (2015)Ackermann Encoding, Bisimulations, and OBDDs., и . Theory Pract. Log. Program., 4 (5-6): 695-718 (2004)Deciding modal logics using tableaux and set theory., и . APPIA-GULP-PRODE, стр. 261-276. Departamento de Informática, Universidade de Évora, (2001)Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes., , , , и . Pacific Symposium on Biocomputing, стр. 116-127. (2003)Adding the power-set to description logics., и . Theor. Comput. Sci., (2020)String Attractors: Verification and Optimization., , , и . ESA, том 112 из LIPIcs, стр. 52:1-52:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Fast randomized approximate string matching with succinct hash data structures., и . BMC Bioinform., 16 (S-9): S4 (2015)The Automation of Syllogistic., , и . J. Autom. Reason., 6 (2): 173-187 (1990)Decidability Results for Metric and Layered Temporal Logics., и . Notre Dame J. Formal Log., 37 (2): 260-282 (1996)Automated FingerPrint Background removal: FPB., , и . BMC Bioinform., (2009)