共 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 Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (164):
- [3] Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications Vienna, Austria, 12-13th July 2014 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152):
- [4] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
- [5] 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):
- [9] Preface: proceedings of the 13th IASWS international conference [J]. Journal of Soils and Sediments, 2015, 15 : 2347 - 2349