Author:
Fischer Michael J.,Ladner Richard E.
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy;Lecture Notes in Computer Science;2022
2. Mu-Calculus Satisfiability with Arithmetic Constraints;Programming and Computer Software;2020-12
3. Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
4. Deferring the details and deriving programs;Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2019;2019
5. Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism;Logical Methods in Computer Science;2017-04-27