Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference3 articles.
1. Predicate Calculus and Program Semantics;Dijkstra,1990
2. A mathematical approach to logic;Dijkstra,1994
3. Introduction to Modal Logic;Hughes,1988
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献