.:. Consultation > Liste par auteurs > Fissore .:.

17 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Proving weak termination also provides the right way to terminate - Extended version - Fissore O., Gnaedig I., Kirchner H. N° A04-R-522 || fissore04b (2004) [inria-00099872 - version 1]

A proof of weak termination providing the right way to terminate Fissore O., Gnaedig I., Kirchner H. Dans First International Colloquium on Theoretical Aspects of Computing (2004) 15 p [inria-00100120 - version 1]

Proving weak termination also provides the right way to terminate - extended version - Fissore O., Gnaedig I., Kirchner H. N° A03-R-361 || fissore03c (2003) [inria-00107744 - version 1]

Termination of ELAN strategies by simplification - Extended version - Fissore O., Gnaedig I., Kirchner H. N° A03-R-360 || fissore03b (2003) [inria-00107743 - version 1]

Proving weak termination also provides the right way to terminate Fissore O., Gnaedig I., Kirchner H. N° A03-R-413 || fissore03d (2003) [inria-00099776 - version 1]

Outermost ground termination Fissore O., Gnaedig I., Kirchner H. Electronic Notes in Theoretical Computer Science 71 (2003) 20 p [inria-00099654 - version 1]

Simplification and Termination of Strategies in Rule-Based Languages Fissore O., Gnaedig I., Kirchner H. Dans Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003 (2003) 124-135 [inria-00099655 - version 1]

CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction Fissore O., Gnaedig I., Kirchner H. Dans 6th International Workshop on Termination 2003 - WST'03 (2003) 77-79 [inria-00099467 - version 1]

CARIBOO: An Induction Based Proof Tool for Termination with Strategies Fissore O., Gnaedig I., Kirchner H. Dans Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02 (2002) 12 p [inria-00107557 - version 1]

CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version-- Fissore O., Gnaedig I., Kirchner H. N° A02-R-077 || fissore02b (2002) [inria-00099426 - version 1]