[Termtools] ***UNCHECKED*** new TPDB

[Salvador Lucas]

Dear Hans,

I am sorry but due to very urgent institutional
work I had no time to submit the new examples for
CSR (and transformed examples for TRSs) which I
promised. Would it still be possible to submit
them in few days?

Best regards,

Salvador.

Peter Schneider-Kamp wrote:

>-----BEGIN PGP SIGNED MESSAGE-----
>Hash: SHA1
>
>H. Zantema wrote:
>  
>
>>No new submissions were received for LP and context-sensitive rewriting.
>>    
>>
>
>Dear Hans,
>
>as you know we have two new collections of LP examples and a cleaned-up
>version of the TPDB05/LP examples which we would like to submit.
>As I gathered from your response it would have made sense to agree on
>this point before submission.
>
>Unfortunately, I have not yet heard anything from Claude about the format
>in which to include the queries.
>
>Thus, I will send those collections to you and Claude now as they are.
>When we agree on a query format, I am, of course, willing to adapt our
>examples to that format and resent them.
>
>Kind regards,
>Peter
>- --
>Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
>LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
>RWTH Aachen            phone: ++49 241 80-21211
>-----BEGIN PGP SIGNATURE-----
>Version: GnuPG v1.4.2.2 (GNU/Linux)
>Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
>
>iD8DBQFEVz0S3VbrCXkKHhwRApbvAKDK6OcPhKj0H622ddL4bfrDEeW3dwCeOFV6
>1Wi7PWGnhs6R4FeXce80It4=
>=J5Di
>-----END PGP SIGNATURE-----
>
>_______________________________________________
>Termtools mailing list
>Termtools at serveur-listes.lri.fr
>http://serveur-listes.lri.fr/mailman/listinfo/termtools
>  
>

_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools