Nie jesteś zalogowany | Zaloguj się

PL /
EN

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

Liczba publikacji: 1

2014

Jerzy Marcinkowski, Tomasz Gogacz , All-instances termination of chase is undecidable, 41st International Colloquium Automata, Languages, and Programming, Copenhagen, Denmark, 8 lipca 2014 - 11 lipca 2014. Zobacz w PBN