( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Visibly Pushdown Transducers with Well-Nested Outputs.

, и . Int. J. Found. Comput. Sci., 27 (2): 235-258 (2016)

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.

Jean-Marc Régis

Jean-Marc Chanton

Jean-Marc Schaller

Jean-Marc Leutenegger

Jean-Marc Gauer

 

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

Paths vs. Trees in Set-Based Program Analysis., , и . POPL, стр. 330-337. ACM, (2000)Solving Classes of Set Constraints with Tree Automata., , и . CP, том 1330 из Lecture Notes in Computer Science, стр. 62-76. Springer, (1997)Weighted Automata and Expressions over Pre-Rational Monoids., , , , , и . CSL, том 216 из LIPIcs, стр. 6:1-6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Visibly Pushdown Transducers with Well-Nested Outputs., и . Int. J. Found. Comput. Sci., 27 (2): 235-258 (2016)Generalized Definite Set Constraints., , и . Constraints An Int. J., 5 (1/2): 161-202 (2000)Set-Based Analysis for Logic Programming and Tree Automata., , и . SAS, том 1302 из Lecture Notes in Computer Science, стр. 127-140. Springer, (1997)Monotone AC-Tree Automata., , , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 337-351. Springer, (2005)On the Alternation-Free Horn Mu-calculus.. LPAR, том 1955 из Lecture Notes in Computer Science, стр. 418-435. Springer, (2000)The Decidability of Model Checking Mobile Ambients., и . CSL, том 2142 из Lecture Notes in Computer Science, стр. 339-354. Springer, (2001)Atomic Set Constraints with Projection., и . RTA, том 2378 из Lecture Notes in Computer Science, стр. 311-325. Springer, (2002)