You are not logged in | Log in

PL /
EN

Conference: 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Number of publications: 1

2013

Jerzy Marcinkowski, Tomasz Gogacz , Converging to the chase - a tool for finite controllability, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, the United States of America, 25 June 2013 - 28 June 2013. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper