Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ángel Nepomuceno-Fernández

Abduction via C-Tableaux and Δ-Resolution

Journal of Applied Non-Classical Logics

English