Alexis Bès - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2022

Decidability of Definability Issues in the Theory of Real AdditionAlexis Bès, Christian Choffrut. FUIN, 188(1):15-39, 2022. [doi]

2021

Theories of real addition with and without a predicate for integersAlexis Bès, Christian Choffrut. lmcs, 17(2), 2021. [doi]

2020

$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $Alexis Bès, Christian Choffrut. LATA 2020: 128-140 [doi]

2019

Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉Alexis Bès, Christian Choffrut. FUIN, 164(1):1-15, 2019. [doi]

2012

On countable chains having decidable monadic theoryAlexis Bès, Alexander Rabinovich. JSYML, 77(2):593-608, 2012. [doi]

2011

Algebraic Characterization of FO for Scattered Linear OrderingsAlexis Bès, Olivier Carton. csl 2011: 67-81 [doi]

2010

Logic and Rational Languages of Words Indexed by Linear OrderingsNicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal. mst, 46(4):737-760, 2010. [doi]

Decidable Expansions of Labelled Linear OrderingsAlexis Bès, Alexander Rabinovich. BIRTHDAY 2010: 95-107 [doi]

2008

Logic and Rational Languages of Words Indexed by Linear OrderingsNicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal. csr 2008: 76-85 [doi]

2006

A Kleene Theorem for Languages of Words Indexed by Linear OrderingsAlexis Bès, Olivier Carton. ijfcs, 17(3):519-542, 2006. [doi]

2005

A Kleene Theorem for Languages of Words Indexed by Linear OrderingsAlexis Bès, Olivier Carton. dlt 2005: 158-167 [doi]

2003

On query optimization in a temporal SPC algebraJef Wijsen, Alexis Bès. DKE, 44(2):165-192, 2003.

2001

Temporal Tableau QueriesJef Wijsen, Alexis Bès. rtas 2001: 136-143 [doi]

2000

An Extension of The Cobham-Semënov TheoremAlexis Bès. JSYML, 65(1):201-211, 2000.

1998

Undecidable Extensions of Skolem ArithmeticAlexis Bès, Denis Richard. JSYML, 63(2):379-401, 1998.

1997

On Pascal Triangles Modulo a Prime PowerAlexis Bès. APAL, 89(1):17-35, 1997.

Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov TheoremAlexis Bès. JSYML, 62(4):1280-1296, 1997.

Sign in or sign up to see more results.

runs on WebDSL