4 treff

dynamisk logikk
Johan van Benthem on logic and information dynamics
Alexandru Baltag, Sonja Smets, editors
Bok Engelsk 2014 · Vis mer
Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000 · Vis mer
Formal systems specification : the RPC-memory specification case study
Manfred Broy, Stephan Merz, Katharina Spi...
Bok Engelsk 1996 · Vis mer
Extensions of first order logic
by María Manzano
Bok Engelsk 1996 · Vis mer