Author: Leitner-Fischer Florian Leue Stefan
Publisher: Inderscience Publishers
ISSN: 1757-8779
Source: International Journal of Critical Computer-Based Systems, Vol.4, Iss.2, 2013-09, pp. : 119-143
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Tree search and quantum computation
Quantum Information Processing, Vol. 10, Iss. 4, 2011-08 ,pp. :
Axiomatising extended computation tree logic
By Kaivola R.
Theoretical Computer Science, Vol. 190, Iss. 1, 1998-01 ,pp. :