AI Chat AI Image Generator AI Video Text to Speech

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

02/16/2018

∙

by Horatiu Cirstea, et al.

∙

∙

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017).

Horatiu Cirstea
4 publications
David Sabel
8 publications

research

∙ 10/09/2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Fifteenth International Work...

0 Shilpi Goel, et al. ∙

research

∙ 11/15/2021

Proceedings First Workshop on Applicable Formal Methods

This volume contains the proceedings of the 1st International Workshop o...

0 Mario Gleirscher, et al. ∙

research

∙ 02/21/2019

Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

This volume contains the formal proceedings of the 5th International Wor...

0 Joachim Niehren, et al. ∙

research

∙ 04/02/2016

A Formal Calculus for International Relations Computation and Evaluation

This publication presents a relation computation or calculus for interna...

0 Mohd Anuar Mat Isa, et al. ∙

research

∙ 07/26/2018

Judging the Judges: Evaluating the Performance of International Gymnastics Judges

Judging a gymnastics routine is a noisy process, and the performance of ...

0 Hugues Mercier, et al. ∙

research

∙ 07/02/2018

Proceedings of the 9th International Workshop on Physics and Computation

The 9th International Workshop on Physics and Computation (PC 2018) was ...

0 Michael Cuffaro, et al. ∙

research

∙ 12/20/2019

Proceedings Fifth Workshop on Formal Integrated Development Environment

This volume contains the proceedings of F-IDE 2019, the fifth internatio...

0 Rosemary Monahan, et al. ∙