A Decidable Class of Nested Iterated Schemata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A Decidable Class of Nested Iterated Schemata

Dates et versions

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

Identifiants

Citer

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. A Decidable Class of Nested Iterated Schemata. IJCAR 2010, 2010, France. pp.293-308, ⟨10.1007/978-3-642-14203-1_25⟩. ⟨hal-00940623⟩
114 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More