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.

 

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

Dynamic Membership for Regular Languages., , и . ICALP, том 198 из LIPIcs, стр. 116:1-116:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On Polynomial Recursive Sequences., , , , и . Theory Comput. Syst., 68 (4): 593-614 (августа 2024)An Algebraic Approach to Vectorial Programs., , и . STACS, том 254 из LIPIcs, стр. 51:1-51:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Continuity and Rational Functions., , и . ICALP, том 80 из LIPIcs, стр. 115:1-115:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)The Regular Languages of First-Order Logic with One Alternation., , , и . LICS, стр. 58:1-58:11. ACM, (2022)Monadic Second-Order Logic with Arbitrary Monadic Predicates., и . MFCS (1), том 8634 из Lecture Notes in Computer Science, стр. 279-290. Springer, (2014)Schema Validation via Streaming Circuits., , и . PODS, стр. 237-249. ACM, (2016)A crevice on the Crane Beach: Finite-degree predicates., и . LICS, стр. 1-9. IEEE Computer Society, (2017)Two-variable first order logic with modular predicates over words., и . STACS, том 20 из LIPIcs, стр. 329-340. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Continuity and Rational Functions., , и . CoRR, (2018)