Temporal logics with language parameters

Title
Temporal logics with language parameters
Authors
Keywords
-
Journal
INFORMATION AND COMPUTATION
Volume -, Issue -, Pages 105087
Publisher
Elsevier BV
Online
2023-08-25
DOI
10.1016/j.ic.2023.105087

Ask authors/readers for more resources

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started