Journal of Logic Programming
, Volume 46
Volume 46, Numbers 1-2, November - December 2000
Jürgen Dix
,
V. S. Subrahmanian
,
George Pick
:
Meta-agent programs.
1-60
Rachel Ben-Eliyahu-Zohary
,
Luigi Palopoli
,
Victoria Zemlyanker
:
More on tractable disjunctive Datalog.
61-101
Salvatore Ruggieri
:
Decidability of logic program semantics and applications to testing.
103-137
Andy King
:
Pair-sharing over rational trees.
139-155
Last update Fri May 17 20:29:22 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page