Search alternatives:
competition » composition

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... in the General Theory of Stable Models (Preliminary Report) -- Non-determinism and Probabilities in Timed...