Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
June 2024
Table of Contents - PeerJ Computer Science
Sorted by downloads
Publication date
Downloads
Pageviews
Comp Sci
PeerJ - Medicine articles
PeerJ - Biology & Life science articles
PeerJ - General bio (stats, legal, policy, edu)
PeerJ Computer Science
PeerJ Preprints
programming-languages
Login to save + alerts
June 20, 2024
Symbolic model checking quantum circuits in Maude
Canh Minh Do
,
Kazuhiro Ogata
https://doi.org/10.7717/peerj-cs.2098
← Previous
1
Next →
Archives - Computer Science
programming-languages
2024
August
1
July
0
June
1
May
0
April
0
March
0
February
0
January
2
2023
December
1
November
1
October
1
September
2
August
0
July
0
June
0
May
0
April
0
March
0
February
1
2022
December
1
November
0
October
0
September
1
August
1
July
1
2021
August
1
July
2
June
0
May
1
April
0
March
1
February
1
2020
November
3
October
0
September
1
2019
October
1
2018
September
1
August
0
July
1
June
0
May
0
April
1
2017
July
1
June
0
May
1
2016
November
1
October
1
September
0
August
0
July
0
June
0
May
0
April
0
March
1
2015
September
1
Filter on subjects this month
emerging-technologies
1
programming-languages
1
quantum-computing
1
software-engineering
1
theory-and-formal-methods
1
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback