Author:
Barringer Howard,Rydeheard David,Gabbay Dov
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Aho, A.V.: Indexed Grammars — An Extension of Context-Free Grammars. Journal of the ACM 15(4), 647–671 (1968)
2. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press (1996)
3. Lecture Notes in Computer Science;H. Barringer,2004
4. Barringer, H., Havelund, K., Rydeheard, D.: Rule systems for run-time monitoring: from Eagle to RuleR (extended version). Journal of Logic and Computation 20(3), 675–706 (2010)
5. Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1969)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Categorical Metamodel for Reactive Kripke Frames;International Journal of Advanced Statistics and IT&C for Economics and Life Sciences;2023-12-01