Games for topological fixpoint logic

Nick Bezhanishvili, Clemens Kupke

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

1 Citation (Scopus)
22 Downloads (Pure)
Filter
Finished

Search results