Évènements
Rechercher un événement
04
Dec
Some topics on hypersequents
(...)
Hypersequent calculus, introduced by Arnon Avron, is an extension of the ordinary sequent calculus that deals with disjunctions of sequents. Historically it has been a [...]
04
Dec
04
Dec
Transition systems over games
(...)
We describe a framework for game semantics combining operational and denotational accounts. A game is a bipartite graph of “passive” and “active” positions, or a [...]
On the resolution semiring (sur le semi anneau de résolution)
Marc Bagnol (I2M, Aix-Marseille Université)
http://www.theses.fr/s119386 - We study in this thesis a semiring structure with a product based on the resolution rule of logic programming. This mathematical object was [...]
