On structuring proof search for first order linear logic
- 作者Paola Bruscoli; Alessio Guglielmi
- 卷第360卷
- 印刷ISSN0304-3975
- 文件大小1366.29KB
- 发表时间2006
- DOI10.1016/j.tcs.2005.11.047
- 页码42-76
Algebraic–coalgebraic specification in CoCaslTill Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel · 2006
PrefaceMarkus Roggenbach · 2012
Transition systems from event structures revisitedMila Majster-Cederbaum; Markus Roggenbach · 1998
CoCasl at Work — Modelling Process AlgebraTill Mossakowski; Markus Roggenbach; Lutz Schröder · 2003
The Stable Revivals Model in CSP-ProverD. Gift Samuel; Markus Roggenbach; Yoshinao Isobe · 2009
Towards a unified view of bisimulation: a comparative studyMarkus Roggenbach; Mila Majster-Cederbaum · 2000
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus · Science of Computer Programming · 2014
Detection of app collusion potential using logic programmingBlascoa, Jorge; Chen, Thomas M.; Muttik, Igor; Roggenbach, Markus · Journal of Network and Computer Applications · 2017