A decision procedure and complete axiomatization for projection temporal logic

From MaRDI portal
Publication:1986563

DOI10.1016/j.tcs.2017.09.026zbMath1506.03070OpenAlexW2760114350MaRDI QIDQ1986563

Xinfeng Shu, Zhenhua Duan, Hongwei David Du

Publication date: 8 April 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.09.026




Related Items


Uses Software


Cites Work