You are not logged in | Log in

PL /
EN

Conference: 41st International Colloquium Automata, Languages, and Programming

Number of publications: 1

2014

Jerzy Marcinkowski, Tomasz Gogacz , All-instances termination of chase is undecidable, 41st International Colloquium Automata, Languages, and Programming, Copenhagen, Denmark, 8 July 2014 - 11 July 2014. 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