Bisimulation Safe Fixed Point Logic

Download PDF

Faried Abu Zaid, Erich Grädel, Stephan Jaax

Published: 01 Jan 2014, Last Modified: 22 Sept 2024Advances in Modal Logic 2014EveryoneRevisionsBibTeXCC BY-SA 4.0