A rewriting logic approach to operational semantics
- 作者Traian Florin Şerbănuţă; Grigore Roşu; José Meseguer
- 卷第207卷
- 期第2期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小421.07KB
- 发表时间2009
- DOI10.1016/j.ic.2008.03.026
- 页码305-340
Martingale families and dimension in PPhilippe Moser · 2008
Botanical NotesUrs Känzig-Schoch; Daniel Martin Moser; Andreas Gygax; Philippe Juillerat; Beat Bäumler; Heiner Lenzin; Sabine Güsewell; Otto Wildi · 2007
ContentsAlameda, Luis; Ferrari, Carina; Baumann, Philipp; Fournier, Margot; Moser, Hélène; Gholam-Razaee, Mehdi Mohammad; Do, Kim Q.; Conus, Philippe · Medical Clinics of North America · 2008
Resource-bounded measure on probabilistic classesPhilippe Moser · 2008
Limit-depth and DNR degreesMoser, Philippe; Stephan, Frank · Information Processing Letters · 2018
Polylog depth, highness and lowness for EMoser, Philippe · Information and Computation · 2019
Dimensions of Copeland–Erdös sequencesXiaoyang Gu; Jack H. Lutz; Philippe Moser · 2007