( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Accelerating tree-automatic relations.

. FSTTCS, том 18 из LIPIcs, стр. 313-324. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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.

Lin Lin

Lin Lin

George Widjaja

Adji Widjaja

Lin Lin

 

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

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)., и . CoRR, (2021)Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs).. MFCS, том 7464 из Lecture Notes in Computer Science, стр. 630-642. Springer, (2012)CertiStr: a certified string solver., , , и . CPP, стр. 210-224. ACM, (2022)Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables., , , , , , , , и . CoRR, (2021)Logical Languages Accepted by Transformer Encoders with Hard Attention., , , и . CoRR, (2023)A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 325-342. Springer, (2020)String solving with word equations and transducers: towards a logic for analysing mutation XSS., и . POPL, стр. 123-136. ACM, (2016)Concurrent Stochastic Lossy Channel Games., , , и . CoRR, (2023)Reasoning on Data Words over Numeric Domains., и . LICS, стр. 37:1-37:13. ACM, (2022)Accelerating tree-automatic relations.. FSTTCS, том 18 из LIPIcs, стр. 313-324. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)