Articoli correlati a First-Order Dynamic Logic: 68

First-Order Dynamic Logic: 68 - Brossura

Harel, D.

 
9783540092377: First-Order Dynamic Logic: 68

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.