Rensets and Renaming-Based Recursion for Syntax with Bindings.

Published in: IJCAR (2022)

Keyphrases

datalog programs
deductive databases
transitive closure
operational semantics
high level
learning environment
complex objects
syntactic semantic
database
precisely defined
context free grammars
conjunctive queries
natural language
data structure
three dimensional
information systems
neural network
databases