{"title":"Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing","authors":"Xiaodi Wu","doi":"10.1145/3488389","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Transactions on Quantum Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3488389","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}