62 search results - page 13 / 13 » EPR-Based Bounded Model Checking at Word Level |
KR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
AMC
2007
13 years 4 months ago
2007
The new economic geography literature provides a general equilibrium framework that explains the emergence of economic agglomerations as a trade-off between increasing returns at...