MPG.eBooks - Search Results - "revelation"

Cover Image

1

Database and Expert Systems Applications : 11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

2

Database and Expert Systems Applications : 6th International Conference, DEXA'95, London, United Kingdom, September 4 - 8, 1995, Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

3

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Decidability of Freshness, Undecidability of Revelation -- LTL over Integer Periodicity Constraints -- Unifying...”