sci-hub
to open science
⇣ Google Scholar
Help
Zhenhua Duan; Cong Tian; Li Zhang (2008).
A decision procedure for propositional projection temporal logic with infinite models. , 45(1), 43–78.
doi:10.1007/s00236-007-0062-z
url to share this paper:
An interview with Sci-Hub Founder Alexandra Elbakyan Who exactly should pay for academic research
Enter →
updates on
Sci-Hub Community