Regular Typed Unification.

João Barbosa Mário Florido Vítor Santos Costa

Published in: CoRR (2024)

Keyphrases

higher order
case study
theorem proving
multimedia
web services
automated theorem proving
machine learning
metadata
high level
data analysis
viewpoint
context free