共 53 条
[2]
A REALLY TEMPORAL LOGIC
[J].
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE,
1989,
:164-169
[5]
[Anonymous], 2002, Introduction to Constraint Databases
[6]
Areces C, 1999, LECT NOTES COMPUT SC, V1683, P307
[7]
Balbiani P, 2002, LECT NOTES ARTIF INT, V2309, P162
[8]
Representing arithmetic constraints with finite automata: An overview
[J].
LOGICS PROGRAMMING, PROCEEDINGS,
2002, 2401
:1-19
[9]
Boigelot B., 1998, THESIS U LIEGE
[10]
BOJANCZYK M, 2005, 2005004 LIAFA