Proceedings Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014 Preface

被引：0

|

作者：

Oliva, Paulo

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：1

相关论文

共 50 条

[1] Proceedings Third International Workshop on Linearity Vienna, Austria, 13th July, 2014 Preface
不详
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (176):
[2] Proceedings Tenth International Workshop on Developments in Computational Models Vienna, Austria, 13th July 2014 Preface
Dal Lago, Ugo
Harmer, Russ
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (179):
[3] Proceedings First Workshop on Horn Clauses for Verification and Synthesis Vienna, Austria, 17 July 2014 Preface
不详
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (169):
[4] Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications Vienna, Austria, 12-13th July 2014 Preface
Verbeek, Freek
Schmaltz, Julien
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152):
[5] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface
ter Beek, Maurice
Ravara, Antonio
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
[6] Proceedings Sixth International Workshop on Classical Logic and Computation Porto, Portugal, 23th June 2016 Preface
Kohlenbach, Ulrich
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (213):
[7] Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems Vienna, Austria, 8 July 2016 Preface
Uhrmacher, Adelinde M.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (217): : 1 - 3
[8] PAPERS FROM THE VIENNA EDXRF WORKSHOP, VIENNA, AUSTRIA, 13-15 JULY 1988
WOBRAUSCHEK, P
[J]. X-RAY SPECTROMETRY, 1989, 18 (03) : 87 - 87
[9] Proceedings Fifth Workshop on Synthesis Toronto, Canada, July 17-18, 2016 Preface
Dimitrova, Rayna
Piskac, Ruzica
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (229): : 1 - +
[10] Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Oxford, England, 8th July 2018 Preface
Niehren, Joachim
Sabel, David
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (289):

← 1 2 3 4 5 →