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.

 

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

Certifying a Termination Criterion Based on Graphs, without Graphs., , и . TPHOLs, том 5170 из Lecture Notes in Computer Science, стр. 183-198. Springer, (2008)Expression Reduction Systems with Patterns., и . RTA, том 2706 из Lecture Notes in Computer Science, стр. 107-122. Springer, (2003)Automated Certified Proofs with CiME3., , , , и . RTA, том 10 из LIPIcs, стр. 21-30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A3PAT, an approach for certified automated termination proofs., , , , , и . PEPM, стр. 63-72. ACM, (2010)A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.. RTA, том 2378 из Lecture Notes in Computer Science, стр. 174-191. Springer, (2002)Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant., , , и . FLOPS, том 3945 из Lecture Notes in Computer Science, стр. 114-129. Springer, (2006)Certification of Automated Termination Proofs., , , , и . FroCoS, том 4720 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2007)