Simplified Handling of Iterated Term Schemata

Vincent Aravantinos; Ricardo Caferra; Nicolas Peltier

doi:10.1007/s10472-010-9200-3

Article Dans Une Revue Annals of Mathematics and Artificial Intelligence Année : 2010

Simplified Handling of Iterated Term Schemata

(1) , (2) , (1)

1
2

Vincent Aravantinos

Fonction : Auteur
PersonId : 880212

Calculs algorithmes programmes et preuves

Ricardo Caferra

Fonction : Auteur

Laboratoire d'Informatique de Grenoble

Nicolas Peltier

Fonction : Auteur
PersonId : 956
IdHAL : nicolas-peltier
ORCID : 0000-0002-8943-7000
IdRef : 050742876

Calculs algorithmes programmes et preuves

CV

Mots clés

Term schematisation Grammars Automated deduction

Domaines

Logique en informatique [cs.LO]

Nicolas Peltier : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00940620

Soumis le : dimanche 2 février 2014-11:39:15

Dernière modification le : jeudi 4 avril 2024-21:25:56

Dates et versions

hal-00940620 , version 1 (02-02-2014)

Identifiants

HAL Id : hal-00940620 , version 1
DOI : 10.1007/s10472-010-9200-3

Citer

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Simplified Handling of Iterated Term Schemata. Annals of Mathematics and Artificial Intelligence, 2010, 58 (3), pp.155-183. ⟨10.1007/s10472-010-9200-3⟩. ⟨hal-00940620⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_MFML LIG_MFML_CAPP LIG_SIDCH

277 Consultations

0 Téléchargements

Simplified Handling of Iterated Term Schemata

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager