( en | de | ru )

 

Disambiguation of "Creus, Carles"

Author of the publication

copydeleteadd this publication to your clipboard
The HOM Problem is EXPTIME-Complete.

, , , and . LICS, page 255-264. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Jean Creusefond

Charlotte Creusen

Utho Creusen

Clement Creusot

Carles Ulises Moulines

 

Other publications of authors with the same name

The HOM Problem is EXPTIME-Complete., , , and . SIAM J. Comput., 45 (4): 1230-1260 (2016)Context-Aware Neural Machine Translation Decoding., , and . DiscoMT@EMNLP, page 13-23. Association for Computational Linguistics, (2019)One-context Unification with STG-Compressed Terms is in NP., , and . RTA, volume 15 of LIPIcs, page 149-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , and . J. Autom. Reason., 51 (4): 371-400 (2013)Tree automata with constraints and tree homomorphisms.. Polytechnic University of Catalonia, Spain, (2016)Automatic Evaluation of Context-Free Grammars (System Description)., and . RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, page 139-148. Springer, (2014)Non-Linear Rewrite Closure and Weak Normalization., , , and . J. Autom. Reason., 51 (3): 281-324 (2013)Using Word Embeddings to Enforce Document-Level Lexical Consistency in Machine Translation., , , and . Prague Bull. Math. Linguistics, (2017)Excessively duplicating patterns represent non-regular languages., , and . Inf. Process. Lett., 114 (3): 85-93 (2014)R4: Realistic rain rendering in realtime., and . Comput. Graph., 37 (1-2): 33-40 (2013)