http://wiki.maxthomaslang.de/w?action=history&feed=atom&title=Automated_Running_Time_Equivalences_%28Thesis_Project_Tracking%29Automated Running Time Equivalences (Thesis Project Tracking) - Revision history2026-06-02T01:48:46ZRevision history for this page on the wikiMediaWiki 1.42.4http://wiki.maxthomaslang.de/w?title=Automated_Running_Time_Equivalences_(Thesis_Project_Tracking)&diff=121&oldid=prevMxl: Mxl moved page Automated Running Time Equivalences (Thesis Project Tracking) to Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking): Better title2025-05-16T14:26:45Z<p>Mxl moved page <a href="/w/Automated_Running_Time_Equivalences_(Thesis_Project_Tracking)" class="mw-redirect" title="Automated Running Time Equivalences (Thesis Project Tracking)">Automated Running Time Equivalences (Thesis Project Tracking)</a> to <a href="/w/Translating_Time_Bounds_of_Functional_Programs_to_a_Deeply-Embedded_Language_(Thesis_Project_Tracking)" title="Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking)">Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking)</a>: Better title</p>
<p><b>New page</b></p><div>#REDIRECT [[Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking)]]</div>Mxl