STUTTER-INVARIANT TEMPORAL PROPERTIES ARE EXPRESSIBLE WITHOUT THE NEXT-TIME OPERATOR

Authors
PELED D WILKE T
Citation
D. Peled et T. Wilke, STUTTER-INVARIANT TEMPORAL PROPERTIES ARE EXPRESSIBLE WITHOUT THE NEXT-TIME OPERATOR, Information processing letters, 63(5), 1997, pp. 243-246
Citations number
11
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
63
Issue
5
Year of publication
1997
Pages
243 - 246
Database
ISI
SICI code
0020-0190(1997)63:5<243:STPAEW>2.0.ZU;2-O
Abstract
We show that every stutter-invariant propositional linear temporal pro perty is expressible without the next-time operator. (C) 1997 Elsevier Science B.V.