DEAK calculus

From MaRDI portal

Software:40387

Jump to:navigation, search

swMATH28673MaRDI QIDQ40387

No author found.

Source code repository: https://github.com/goodlyrottenapple/calculus-toolbox-2

Related Items (1)

Software tool support for modular reasoning in modal logics of actions

This page was built for software: DEAK calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:40387&oldid=29505984"