View in EDS PDF Full Text

AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES.

Saved in:
Bibliographic Details
Title: AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES.
Authors: SMITH, KEVIN W.1, kwsmith@fastmail.com, VARDI, MOSHE Y.1, vardi@rice.edu
Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-28, 28p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-21(3:2)2025