Article In: orcid

Quantum computation tree logic - Model checking and complete calculus

International Journal of Quantum Information

Pedro Alexandre Cardoso ; Rohit Chadha; Paulo Alexandre Carreira Mateus — 2008

Key information

Authors:

Pedro Alexandre Cardoso (Pedro Alexandre Cardoso Baltazar); Rohit Chadha; Paulo Alexandre Carreira Mateus (Paulo Alexandre Carreira Mateus)

Published in

2008

Publication details

Authors in the community:

Title of the publication container

International Journal of Quantum Information

First page or article number

219

Last page

236

Volume

6

Issue

2

DOI

10.1142/S0219749908003530

Fields of Science and Technology (FOS)

mathematics - Mathematics

Publication language (ISO code)

eng - English

Rights type:

Only metadata available