|
Journals in DBLP
- Hans Jürgen Ohlbach, Renate A. Schmidt
Editorial: The Possibility of Generating True Conjectures. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1993, v:3, n:4, pp:341-343 [Journal]
- Adam J. Grove, Joseph Y. Halpern
Naming and Identity in Epistemic Logics Part I: The Propositional Case. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1993, v:3, n:4, pp:345-378 [Journal]
- David Billington
Defeasible Logic is Stable. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1993, v:3, n:4, pp:379-400 [Journal]
- Urs-Martin Künzi
Logic Programs for Primitive Recursive Sets. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1993, v:3, n:4, pp:401-415 [Journal]
- Antonio Brogi, Evelina Lamma, Paola Mello
Composing Open Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1993, v:3, n:4, pp:417-439 [Journal]
|