221 followers
Uniform Substitution for Differential Game Logic https://t.co/wOXmYHa6eX
Uniform Substitution for Differential Game Logic https://t.co/wOXmYHa6eX
RT @DO: Uniform Substitution for Differential Game Logic. https://t.co/4UwyGdFajY
Uniform Substitution for Differential Game Logic. (arXiv:1804.05880v1 [cs.LO]) https://t.co/7HnpDvXcwP This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a
Uniform Substitution for Differential Game Logic. https://t.co/4UwyGdFajY