ITL
© 1996-2018


A Decision Procedure for Fusion Logic
Antonio Cau, Helge Janicke and Ben Moszkowski

(Pdf version of slides)

1 Introduction
2 Motivation
3 Fusion Logic
4 Decision Procedure for Fusion Logic
5 Future work








2018-03-10
Contact | Home | ITL home | Course | Proofs | Algebra | FL