Login / Signup

-Like Equational Theories with Homomorphisms.

Pascal LafourcadeDenis LugiezRalf Treinen
Published in: RTA (2005)
Keyphrases
  • equational theories
  • finite state automata
  • theorem proving
  • graph theory
  • expert systems
  • function symbols
  • database
  • machine learning
  • prior knowledge
  • knowledge representation
  • first order logic
  • finite state machines