Order-sorted model theory for temporal executable specifications
- 作者Suad Alagić; Mara Alagic̀
- 卷第179卷
- 印刷ISSN0304-3975
- 文件大小1923.60KB
- 发表时间1997
- DOI10.1016/s0304-3975(96)00134-x
- 页码273-299
同作者推荐
Random Strings Make Hard InstancesHarry Buhrman; Pekka Orponen · 1996
Probably approximately optimal satisficing strategiesRussell Greiner; Pekka Orponen · 1996
OnP-subset structuresDavid A. Russo; Pekka Orponen · Theory of Computing Systems · 1987
A classification of complexity core latticesPekka Orponen · 1986
Instance complexityOrponen, Pekka; Ko, Ker-i; Schöning, Uwe; Watanabe, Osamu · Journal of the ACM · 1994
Design methods for 3D wireframe DNA nanostructuresOrponen, Pekka · Natural Computing · 2017
Optimal Approximations and Polynomially Levelable SetsOrponen, Pekka; Russo, David A.; Schöning, Uwe · SIAM Journal on Computing · 1986