-
Unification modulo ACUI plus Distributivity Axioms
E-unification problems are central in automated deduction. In this work, we consider unification modulo theories that extend the well-known ACI or ACUI, by adding a... -
How Useful are Dag Automata?
25 pages -
Matrix semigroups and applications
We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially... -
Stochastic Cellular Automata: Correlations, Decidability and Simulations
This paper introduces a simple formalism for dealing with deterministic, non- deterministic and stochastic cellular automata in an unified and composable manner. This... -
Modal Logic of Time Division
This dataset has no description
-
Kiabora: An Analyzer of Existential Rule Bases
International audience -
Kleene Algebra with Converse
International audience -
E-unification by means of tree tuple synchronized grammars
International audience -
Unification in Extensions of Shallow Equational Theories
Rapport interne. -
Finiteness Theorems for Graphs and Posets Obtained by Compositions
Article dans revue scientifique avec comité de lecture. -
Resource Models and Proofs in Bunched Implications Logic
Colloque sur invitation. internationale. -
A Separation Logic for Resource Distribution
Colloque avec actes et comité de lecture. internationale. -
Semantic Labelled Tableaux for propositional BI (without bottom)
Article dans revue scientifique avec comité de lecture. internationale. -
Unification Modulo ACUI Plus Distributivity Axioms
Article dans revue scientifique avec comité de lecture. nationale.
