( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Improving Database Learning with an Automatic Judge.

, , , и . SEKE, стр. 499-502. KSI Research Inc., (2022)

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.

Rubén Tous

Ignacio Rubio

Felipe Rubio

Rubén Fernández-Busnadiego

Rubén Castillejos Guízar

 

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

Maude as a Library: An Efficient All-Purpose Programming Interface.. WRLA@ETAPS, том 13252 из Lecture Notes in Computer Science, стр. 274-294. Springer, (2022)Theorem Proving for Maude Specifications Using Lean., и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 263-280. Springer, (2022)Improving Database Learning with an Automatic Judge., , , и . SEKE, стр. 499-502. KSI Research Inc., (2022)A Simple Rewrite System for the Normalization of Linear Temporal Logic., , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 208-227. Springer, (2022)Strategies, Model Checking and Branching-Time Properties in Maude., , , и . WRLA@ETAPS, том 12328 из Lecture Notes in Computer Science, стр. 156-175. Springer, (2020)Parameterized Strategies Specification in Maude., , , и . WADT, том 11563 из Lecture Notes in Computer Science, стр. 27-44. Springer, (2018)Efficient Normalization of Linear Temporal Logic., , и . CoRR, (2023)Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)., , , , , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 529-540. Springer, (2022)Model Checking Strategy-Controlled Rewriting Systems (System Description)., , , и . FSCD, том 131 из LIPIcs, стр. 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)QMaude: Quantitative Specification and Verification in Rewriting Logic., , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 240-259. Springer, (2023)