|
Journals in DBLP
- Yde Venema
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:601-621 [Journal]
- Lars Karlsson, Joakim Gustafsson
Reasoning about Concurrent Interaction. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:623-650 [Journal]
- Jürg Kohlas, Rolf Haenni, Serafín Moral
Propositional Information Systems. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:651-681 [Journal]
- Reinhard Kahle
Frege Structures for Partial Applicative Theories. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:683-700 [Journal]
- Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Formalizing Action and Change in Modal Logic I: the frame problem. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:701-735 [Journal]
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Declarative PTIME Queries for Relational Databases using Quantifier Elimination. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:737-758 [Journal]
- Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
A Theory and Implementation of Cognitive Mobile Robots. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:759-785 [Journal]
|