Author:
Marques Pinto S.,Teresa Oliveira-Martins M.,Céu Pinto M.
Reference15 articles.
1. Boolean Algebras with Operators. Part I
2. First-Order Dynamic Logic. Lecture Notes in Computer Science 68 (Springer-Verlag, 1979).
3. , and , Dynamic Logic (MIT Press, 2000).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献