Verwandte Artikel zu First-Order Dynamic Logic (Lecture Notes in Computer...

First-Order Dynamic Logic (Lecture Notes in Computer Science, 68, Band 68) - Softcover

Harel, D.

 
9783540092377: First-Order Dynamic Logic (Lecture Notes in Computer Science, 68, Band 68)

Inhaltsangabe

I: Binary-relation semantics.- II: Computation-tree semantics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.