Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications Vienna, Austria, 12-13th July 2014 Preface

被引：0

|

作者：

Verbeek, Freek

Schmaltz, Julien

机构：

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 152期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：1

相关论文

共 10 条

[1] Proceedings - 17th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2022
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2022, 359
[2] Proceedings Third International Workshop on Linearity Vienna, Austria, 13th July, 2014 Preface
不详
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (176):
[3] Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications Austin, Texas, USA, November 5-6, 2018 Preface
Goel, Shilpi
Kaufmann, Matt
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280):
[4] Proceedings Tenth International Workshop on Developments in Computational Models Vienna, Austria, 13th July 2014 Preface
Dal Lago, Ugo
Harmer, Russ
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (179):
[5] Proceedings Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014 Preface
Oliva, Paulo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (164):
[6] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface
ter Beek, Maurice
Ravara, Antonio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
[7] Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems Grenoble, France, 12-13 April 2014 Preface
Bertrand, Nathalie
Bortolussi, Luca
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (154):
[8] Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
Autexier, Serge
Quaresma, Pedro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (239):
[9] Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications Singapore, 13th May 2014 Preface
Lin, Shang-Wei
Petrucci, Laure
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156):
[10] SPECIAL ISSUE: ICRM 2015 Proceedings of the 20th International Conference on Radionuclide Metrology and its Applications 8-11 June 2015, Vienna, Austria PREFACE
Maringer, Franz Josef
Arnold, Dirk
Watjen, Uwe
APPLIED RADIATION AND ISOTOPES, 2016, 109 : 2 - 5