Expressiveness of propositional projection temporal logic with star

From MaRDI portal
Publication:2430015

DOI10.1016/j.tcs.2010.12.047zbMath1221.03018OpenAlexW2037296871MaRDI QIDQ2430015

Zhenhua Duan, Cong Tian

Publication date: 5 April 2011

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

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




Related Items (13)


Uses Software


Cites Work


This page was built for publication: Expressiveness of propositional projection temporal logic with star