Login / Signup

Variants in the Infinitary Unification Wonderland.

José Meseguer
Published in: WRLA@ETAPS (2020)
Keyphrases
  • higher order
  • database systems
  • expert systems
  • viewpoint
  • database
  • neural network
  • genetic algorithm
  • information systems
  • decision making
  • multimedia
  • inference rules
  • automated theorem proving