Bottom-up Construction of Semantic Tableaux - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2010

Bottom-up Construction of Semantic Tableaux

Dates et versions

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

Identifiants

Citer

Nicolas Peltier. Bottom-up Construction of Semantic Tableaux. Journal of Logic and Computation, 2010, 20 (1), http://logcom.oxfordjournals.org/content/20/1/283.short. ⟨10.1093/logcom/exn069⟩. ⟨hal-00940603⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More