Login / Signup

PA(aa).

James H. Schmerl
Published in: Notre Dame J. Formal Log. (1995)
Keyphrases
  • low level
  • worst case
  • logic programs
  • temporal information
  • qualitative temporal reasoning