Publikacje

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

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 czerwca 2013 - 28 czerwca 2013. Zobacz w PBN