The Application of Kripke-Type Structures to Regional Development Programs.

Matthias Baaz, Fernando Galindo, Gerald Quirchmayr, Manuel Vzqez

Browse the full DEXA paper archive.