Login / Signup
A Formal System for the Universal Quantification of Schematic Variables.
Ferruccio Guidi
Published in:
ACM Trans. Comput. Log. (2022)
Keyphrases
</>
universally quantified
universal quantification
situation calculus