Work

Termination and Universal Termination Problems for Nondeterministic Quantum Programs

Year: 2024

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/3691632

Authors: Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, National Key Research and Development Program of China, Fundamental Research Funds for the Central Universities

Awards: G4303545062, G7717666746, G7836176186

OpenAlex ID: W4402129906

FWCI: 0.148

Cites: 40

Cited by: 1

Related to: 10