1997/01/01 by PrÃvara, Igor, RužiÄka, Peter, Igor Prívara +1 · 2 citations
Computer Science · Engineering · Mathematics · #Computability, Logic, AI Algorithms #Computer science #Decidability #Discrete mathematics #Engineering #Management science #Mathematics #Nondeterministic algorithm #Teaching and Learning Programming #Theoretical computer science #Transition system
paper · doi:10.1007/bfb0029943
crossref issued 1997/01/01 · crossref published 1997/01/01 · crossref published-print 1997/01/01 · openalex publication_date 1997/01/01 · crossref created 2005/12/01 · crossref deposited 2020/01/09 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/15