( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Redundancy Analyses in Term Rewriting.

, , и . WFLP, стр. 309-323. (2000)

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.

Petra Marialke-Kandaouroff

Manuel Mariadasa

Boris Mariacher

Franz Mariaux

Malaiyalam Mariappan

 

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

Automated Verification of Web Sites Using Partial Rewriting., , и . ISoLA (Preliminary proceedings), том TR-2004-6 из Technical Report, стр. 81-88. Department of Computer Science, University of Cyprus, (2004)Termination of Narrowing Using Dependency Pairs., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 317-331. Springer, (2008)Removing Redundant Arguments Automatically, , и . CoRR, (2006)Specification and Verification of Web Applications in Rewriting Logic., , и . FM, том 5850 из Lecture Notes in Computer Science, стр. 790-805. Springer, (2009)Rewriting-based repairing strategies for XML repositories., , , , и . J. Log. Algebraic Methods Program., 82 (8): 326-352 (2013)Abstract Contract Synthesis and Verification in the Symbolic K Framework., , и . Fundam. Informaticae, 177 (3-4): 235-273 (2020)An Automatic Composition Algorithm for Functional Logic Programs., , , и . SOFSEM, том 1963 из Lecture Notes in Computer Science, стр. 289-297. Springer, (2000)Verdi: An Automated Tool for Web Sites Verification., , и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 726-729. Springer, (2004)Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms., , , и . LOPSTR, том 11408 из Lecture Notes in Computer Science, стр. 38-55. Springer, (2018)Improving Control in Functional Logic Program Specialization., , , , и . SAS, том 1503 из Lecture Notes in Computer Science, стр. 262-277. Springer, (1998)