cTI - http://www.topsthcshop.com/
:- nti:nonterminating_goal(turing(t([]�A' '�A[])�As0�A[p(s0�A' '�As1�A' '�Ar)�Ap(s1�A' '�As0�A' '�Al)]�Ay)).
or indicate URL below. -
Help
,
Benchmarks
,
current directory
.
TNA
enabled
skipped
only
optimal
NTI
yes
yes+
no
alone
alone+
Comp.
skipped
shown
Options
:
[
Clear
]
Using text above and
http://www.topsthcshop.com/
...
System error encountered
cannot fetch that url.
cTI
,
Fred Mesnard
(
Universit� de La R�union
),
Ulrich Neumerkel
(
Technische Universit�t Wien
)