Axiom Pinpointing in General Tableaux release_3o3ig2th3jbm5lw2egi5plovxu

by F. Baader, R. Penaloza

Published in Journal of Logic and Computation by Oxford University Press (OUP).

2008   Volume 20, p5-34

Archived Files and Locations

application/pdf  373.9 kB
file_bepurq4xsvbyvepl2jmbrqgu7u
web.archive.org (webarchive)
lat.inf.tu-dresden.de (web)
application/pdf  226.4 kB
file_jxzpzygoqngatdyrfo6gdsrzye
lat.inf.tu-dresden.de (web)
web.archive.org (webarchive)
application/pdf  238.7 kB
file_k3enchj4z5ajrh2bmudb5vxi54
bia.unibz.it (web)
lat.inf.tu-dresden.de (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2008-11-13
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0955-792X
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ccf2241c-8da2-466b-b9f8-a5c482a2ca89
API URL: JSON