Search Results - "[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]"

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order by Le Roux, Stéphane

“…In sequential games of traditional game theory, backward induction guarantees existence of Nash equilibrium by yielding a sub-game perfect equilibrium. But if…”
Get full text

Algebraic Elimination of epsilon-transitions by Gérard Duchamp, Hatem Hadj Kacem, Eric Laugerotte

“…We present here algebraic formulas associating a k-automaton to a k-epsilon-automaton. The existence depends on the definition of the star of matrices and of…”
Get full text

Solving equations over small unary algebras by Broniek, Przemyslaw

“…We consider the problem of solving a system of polynomial equations over fixed algebra $A$ which we call MPolSat($A$). We restrict ourselves to unary algebras…”
Get full text

Undecidable problems concerning densities of languages by Kozik, Jakub

“…In this paper we prove that the question whether a language presented by a context free grammar has density, is undecidable. Moreover we show that there is no…”
Get full text

Classical Combinatory Logic by Nour, Karim

“…Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and…”
Get full text

The call-by-value λµ∧∨-calculus by Nour, Karim, Saber, Khelifa

“…In this paper, we introduce the $λ μ ^{∧∨}$ - call-by-value calculus and we give a proof of the Church-Rosser property of this system. This proof is an…”
Get full text

On-line Adaptive Chain Covering of Upgrowing Posets by Bosek, Bartłomiej, Micek, Piotr

“…We analyze on-line chain partitioning problem and its variants as a two-person game. One person (Spoiler) builds an on-line poset presenting one point at time…”
Get full text

On-line coloring of $I_s$-free graphs by Cieslik, Iwona, Kozik, Marcin, Micek, Piotr

“…An on-line vertex coloring algorithm receives vertices of a graph in some externally determined order. Each new vertex is presented together with a set of the…”
Get full text

Random Boolean expressions by Gardy, Danièle

“…We examine how we can define several probability distributions on the set of Boolean functions on a fixed number of variables, starting from a representation…”
Get full text