Name
Title | ||
|---|---|---|
From a synchronous declarative language to a temporal logic dealing with multiform time |
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1988 | 10.1007/3-540-50302-1_5 | FTRTFT |
Keywords | Field | DocType |
synchronous declarative language,temporal logic,multiform time | Computer science,Linear temporal logic,Artificial intelligence,Temporal logic,Declarative programming,Boolean data type | Conference |
Volume | ISSN | ISBN |
331 | 0302-9743 | 0-387-50302-1 |
Citations | PageRank | References |
21 | 5.88 | 11 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Pilaud | 1 | 356 | 55.19 |
| Nicolas Halbwachs | 2 | 3957 | 426.43 |