You are not logged in |
Back to the list of the institutes
Publications
Conference: 41st International Colloquium Automata, Languages, and Programming
Number of publications: 12014
- 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
