You are not logged in | Log in

PL /
EN

Conference: International Symposium on Logic-based Program Synthesis and Transformation

Number of publications: 1

2017

Aleksy Schubert , Maciej Zielenkiewicz, Automata Theory Approach to Predicate Intuitionistic Logic, Logic-Based Program Synthesis and Transformation, Edinburgh, the United Kingdom of Great Britain and Northern Ireland, 6 September 2016 - 6 September 2016. See in PBN

Initiative of Excellence – Research University