Name
Title | ||
|---|---|---|
Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings |
Year | Venue | Keywords |
|---|---|---|
1999 | CSL | logic programming,computer science |
Field | DocType | Volume |
Programming language,Interval temporal logic,Computer science,Type theory,Description logic,Theoretical computer science,Descriptive complexity theory,Rewriting,Modal logic,Temporal logic,Logic programming | Conference | 1683 |
ISBN | Citations | PageRank |
isbn | 34 | 3.87 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jörg Flum | 1 | 340 | 37.35 |
| Mario Rodríguez-Artalejo | 2 | 716 | 59.70 |