MPG.eBooks - Search Results - (("enclosures" OR "closures") or "closure")

Search alternatives:
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"

Published 1992

Springer Berlin Heidelberg

Table of Contents: “...-Foundedness and the Transitive Closure -- Designing the Proof of Vizing’s Theorem -- Phase Synchronization...”

Published 1997

Springer Berlin Heidelberg

Table of Contents: “..., or the Misery of the Unordered Pair (EWD1223) -- My Simplest Theorem (EWD1232) -- The Transitive Closure of a...”

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... of Reactive Systems -- OCL Extended with Temporal Logic -- The Definition of Transitive Closure with OCL...”