On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

First Page		Document Content
Date: 2016-07-12 08:42:58		On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal Add to Reading List Source URL: hal.archives-ouvertes.fr Download Document from Source Website File Size: 1.005,11 KB Share Document on Facebook