First-Order Theory of Rewriting.

Alexander Lochmann Bertram Felgenhauer

Published in: Arch. Formal Proofs (2022)

Keyphrases

theoretical framework
artificial intelligence
theoretical basis
first order logic
database
higher order
real time
databases
neural network
information retrieval
information systems
rewrite rules