Differential Game Logic

MaRDI QIDQ7361573swMATHFDO

Authors André Platzer

Publication date 3 June 2019

Cites work

• Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings
• Differential game logic
• Uniform substitution at one Fell swoop
• Uniform substitution for differential game logic

This page was built for software: Differential Game Logic