46 search results - page 10 / 10 » A Normal Form for Linear Temporal Equilibrium Logic |
SSD
2005
Springer
13 years 10 months ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...