Pages with the fewest revisions

Showing below up to 50 results in range #1 to #50.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

1. Termination Competition Problem Selection Algorithm‏‎ (1 revision)
2. WScT08-Program‏‎ (1 revision)
3. Star Exec Presenter‏‎ (1 revision)
4. WScT08-Registration‏‎ (1 revision)
5. TPDB XML Format‏‎ (1 revision)
6. TRS Conditional - Operational Termination‏‎ (1 revision)
7. Certification of Relative Termination and Termination modulo Theories‏‎ (1 revision)
8. Integer Transition Systems‏‎ (1 revision)
9. Termination Competition 2026 technical details‏‎ (1 revision)
10. C Complexity‏‎ (1 revision)
11. TRS Innermost Derivational Complexity‏‎ (2 revisions)
12. Certified Termination‏‎ (2 revisions)
13. WScT08-Arrangements‏‎ (2 revisions)
14. TRS Equational‏‎ (2 revisions)
15. TRS Contextsensitive‏‎ (2 revisions)
16. TRS Runtime Complexity‏‎ (2 revisions)
17. Termination Competition Steering Committee Bylaws‏‎ (2 revisions)
18. TRS Derivational Complexity‏‎ (2 revisions)
19. TRS Innermost Runtime Complexity‏‎ (2 revisions)
20. TRS Conditional‏‎ (2 revisions)
21. TRS Parallel Innermost Derivational Complexity‏‎ (2 revisions)
22. Termination Competition History‏‎ (2 revisions)
23. TRS Outermost‏‎ (2 revisions)
24. String Rewriting‏‎ (2 revisions)
25. WScT08-Minutes-Certification‏‎ (2 revisions)
26. PTRS Standard‏‎ (3 revisions)
27. Termination Competition 2017 Registration‏‎ (3 revisions)
28. TRS Relative‏‎ (3 revisions)
29. WScT08-Minutes-Competition‏‎ (3 revisions)
30. Termination Competition 2013‏‎ (3 revisions)
31. TRS Innermost‏‎ (3 revisions)
32. Termination Competition 2012‏‎ (3 revisions)
33. Termination Competition 2014 technical details‏‎ (3 revisions)
34. Higher Order Rewriting‏‎ (3 revisions)
35. SRS Standard‏‎ (3 revisions)
36. PTRS Innermost‏‎ (3 revisions)
37. SRS Relative‏‎ (3 revisions)
38. Termination Competition Certified Categories Competition‏‎ (4 revisions)
39. Contribute‏‎ (4 revisions)
40. TRS Standard‏‎ (4 revisions)
41. Handling DG and SCCs‏‎ (4 revisions)
42. 21st International Workshop on Termination‏‎ (4 revisions)
43. 20th International Workshop on Termination‏‎ (4 revisions)
44. Transition Systems‏‎ (5 revisions)
45. Suggestions‏‎ (5 revisions)
46. TCM-July-2008‏‎ (5 revisions)
47. WScT‏‎ (5 revisions)
48. Functional Programming‏‎ (5 revisions)
49. Termination Competition 2023‏‎ (5 revisions)
50. Termtools‏‎ (5 revisions)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)