Quantified Positive Temporal Constraints

Tytuł:
Quantified Positive Temporal Constraints
Czasopismo:
Rok:
2008

Opis:
Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Strony:
94--108

Tom (seria wydawnicza):
5213

Numer DOI:
10.1007/978-3-540-87531-4_9