In proceedings details

  • Comparative Semantics of Generalized Horn Clauses
  • Jan 1991
  • Springer-Verlag
  • Jean-Marie Jacquet, Luís Monteiro
  • Lecture Notes in Computer Science
  • 0
  • 181 to 191
  • 1 Jan 1991