Artigo De: orcid
Quantum computation tree logic - Model checking and complete calculus
International Journal of Quantum Information
— 2008
Informações chave
Autores:
Publicado em
2008
Detalhes da publicação
Autores da comunidade :
Pedro Alexandre Cardoso Baltazar
ist24582
Paulo Alexandre Carreira Mateus
ist13783
Título do contentor da publicação
International Journal of Quantum Information
Primeira página ou número de artigo
219
Última página
236
Volume
6
Fascículo
2
Domínio Científico (FOS)
mathematics - Matemática
Idioma da publicação (código ISO)
eng - Inglês
Acesso à publicação:
Acesso apenas a metadados