Yazar
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
Format:
Electronic Resources
Alıntı:
of iteration-free PDL with fork -- A Dynamic Logic for Learning Theory -- Layered logics
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates
View Other Search Results
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Concurrent Garbage Collector Using a Rely-Guarantee Methodology -- Formalization of the Fundamental Group in