Browse by Journal
 | See full list of headings |
Jump to: Article
Number of items: 2.
Article
Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal 
ORCID: https://orcid.org/0000-0002-9724-4962
(2018)
Automated equivalence checking of concurrent quantum systems.
ACM Transactions on Computational Logic (TOCL), 19
(4)
, 28.
pp. 1-32.
ISSN 1529-3785
[Article]
(doi:10.1145/3231597)
Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1) . ISSN 1529-3785 [Article] (doi:10.1145/2071368.2071373)
