Wojciech Rozowski
AuthID: R-00K-TYJ
1
TÃTULO: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2305.01755
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2305.01755
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
INDEXADO EM: DBLP
DBLP