skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: idioma: Albanês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hennessy-Milner Results for Probabilistic PDL
Hennessy-Milner Results for Probabilistic PDL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Hennessy-Milner Results for Probabilistic PDL

Gu, T ; Silva, A ; Zanasi, F

36th Conference on the Mathematical Foundations of Programming Languages Semantics (MFPS) was co-located with the 17th International Conference on Quantum Programming Physics and Logic (QPL) 2020

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.