Deprecated: Function curl_close() is deprecated since 8.5, as it has no effect since PHP 8.0 in /home/u483256323/domains/poorvam.com/public_html/subdomains/pore/includes/api.php on line 184

Concise Introduction to Alternating-Time Temporal Logics

Authors: Stéphane Demri
Publication: Computer Science Foundations and Applied Logic
Published: Jan 1, 2026
Source: Crossref
Back to Search View Original Cite This Article

Related Articles


Deprecated: Function curl_close() is deprecated since 8.5, as it has no effect since PHP 8.0 in /home/u483256323/domains/poorvam.com/public_html/subdomains/pore/includes/api.php on line 76
Through the Lens of Anthropology

Robert Muckle, Laura Tubelle de González et al. - Mar 2027

Read More
Concise Guide to Enterprise Transformation

Jan De Winter - Jan 2027

Read More
AI for Real-Time Tumor Tracking in MRI-Guided Radiotherapy and Trauma Procedure Understanding

Unknown - Jan 2027

Read More
Sliding-Mode Control and Estimation for Time-Delay Systems

Hardy L. C. P. Pinto, Liu Hsu et al. - Jan 2027

Read More
Climate

Mark Maslin - Oct 2026

Read More
Journal Ideas PyMinds Charcha More
PORE

About

About Us

Resources

Help Centre Research Guides CiteScore

Legal

Terms of Service Privacy Policy Cookie Policy Accessibility

Connect

Contact Us
© 2026 PORE. Content available under CC BY-NC 4.0