Temporal logic extension for self-referring, nonexistence, multiple recurrence, and anterior past events
-
Published:2015
Issue:
Volume:23
Page:212-230
-
ISSN:1300-0632
-
Container-title:TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES
-
language:
-
Short-container-title:Turk J Elec Eng & Comp Sci
Publisher
The Scientific and Technological Research Council of Turkey (TUBITAK-ULAKBIM)
Subject
Electrical and Electronic Engineering,General Computer Science