Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
Information and Computation 0890-5401 | 1994 | Dimopoulos, Yannis Magirou, Vangelis | A Graph Theoretic Approach to Default Logic In: Information and Computation [112], 239-256 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Studia Logica 0039-3215 | 1998 | Basin, David A. Matthews, Seán Viganò, Luca | Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160 | |||||
| ||||||||
| ||||||||
| ||||||||
|