[Termtools] Examples for "Complexity - C Integer Programs"

[Akihisa Yamada]

Dear all,

I'm sorry again, I mistook C Integer and ITS. Nothing was wrong.

Sorry for the noise,
Akihisa

On 2017/08/14 22:32, Akihisa Yamada wrote:
> Dear all,
>
> I am very sorry, I noticed that examples used last year for the
> Complexity C Integer category have not been added to the TPDB
> repository.
>
> I will take this submission, too.
>
> Best regards,
> Akihisa
>
> On 2017/08/14 20:19, aeflores wrote:
>> Dear all,
>>
>> I would like to submit a set of examples to the category: "Complexity -
>> C Integer Programs" (given that the category does not have the minimum
>> number of examples yet).
>>
>> The examples are in starExec in the space hierarchy *id = 277293
>>
>> *They contain an adapted version of the examples from "termination of C
>> Integer Programs" (where the main function receives input parameters)
>> and a collection of examples taken from the literature.
>>
>> I apologize for the late submission.
>> Kind regards,
>>
>> Antonio
>>
>>
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lists.lri.fr
>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>>
>

-- 
Akihisa Yamada, Ph.D.
Computational Logic Group, Institute of Computer Science,
University of Innsbruck
http://cl-informatik.uibk.ac.at/~ayamada/