受强制性开放获取政策约束的文章 - David Rydeheard了解详情
可在其他位置公开访问的文章：4 篇
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A bi-intuitionistic modal logic: Foundations and automation
JG Stell, RA Schmidt, D Rydeheard
Journal of Logical and Algebraic Methods in Programming 85 (4), 500-519, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Axiomatic and tableau-based reasoning for Kt (H, R)
RA Schmidt, JG Stell, DE Rydeheard
Advances in Modal Logic 10, 478-497, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Tableau development for a bi-intuitionistic tense logic
JG Stell, RA Schmidt, D Rydeheard
Relational and Algebraic Methods in Computer Science: 14th International …, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定