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