Information for "Certification of Relative Termination and Termination modulo Theories"

From Termination-Portal.org
Jump to navigationJump to search

Basic information

Display titleCertification of Relative Termination and Termination modulo Theories
Default sort keyCertification of Relative Termination and Termination modulo Theories
Page length (in bytes)718
Page ID181
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorUlrichSG (talk | contribs)
Date of page creation10:46, 24 April 2009
Latest editorUlrichSG (talk | contribs)
Date of latest edit10:46, 24 April 2009
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0