Sign in

The fork and its role in unification of closure algebras.

Ivo DüntschWojciech Dzik
Published in: CoRR (2023)
Keyphrases
  • higher order
  • decision making
  • real time
  • domain specific
  • state space search
  • equational theories