All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 03:17, 24 December 2023 SatoshiNakamoto talk contribs created page Onterminationof meta-programs (Created page with "Title: Onterminationof meta-programs Research Question: How can we develop a methodology for performing correct termination analysis for a broad class of practical meta-interpreters? Methodology: The methodology is based on combining the power of general orderings, used in proving termination of term-rewrite systems and programs, and the well-known acceptability condition, used in proving termination of logic programs. This approach allows for the reuse of termination...")