Entry Therien:1996:TLS from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Therien:1996:TLS,
author = "D. Therien and T. Wilke",
title = "Temporal logic and semidirect products: an effective
characterization of the until hierarchy",
crossref = "IEEE:1996:ASF",
pages = "256--263",
year = "1996",
bibdate = "Thu Apr 5 06:13:52 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- characterization,
0(0)2,
0(0)8,
0(0)342,
0(0)716,
0(0)725,
1(0)26
- effective,
0(0)387
- hierarchy,
0(0)167,
0(0)234,
2(0)600
- logic,
0(0)42,
0(0)78,
0(0)100,
0(0)167,
0(0)264,
0(0)358,
0(0)670,
2(0)662
- product,
0(0)318,
0(0)400
- temporal,
0(0)78,
0(0)100,
0(0)358