Logics and Meanings of Programs;Algorithm Analysis

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2017 · ENGLISH · PDF

View details →

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2017 · ENGLISH · PDF

View details →

On Sets and Graphs: Perspectives on Logic and Combinatorics

2017 · ENGLISH · PDF

View details →