Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Atocha Aliseda-Llera

Abduction via C-Tableaux and Δ-Resolution

Journal of Applied Non-Classical Logics

English