Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction

Theses and Dissertations

Full Text

Duke Authors

Cited Authors

  • Page, C

Published Date

  • 1993

Conference Name

  • University of Illinois at Urbana-Champaign