E-Unification for Second-Order Abstract Syntax.

Nikolai Kudasov

Published in: FSCD (2023)

Keyphrases

higher order
high level
higher level
case study
natural language
three dimensional
object oriented
real time
real world
information retrieval
knowledge base
database systems
theorem proving
predicate calculus
function symbols
syntactic semantic