(R,+,<,1) Is Decidable in (R,+,< ,Z) - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Dates et versions

hal-04030835 , version 1 (15-03-2023)

Identifiants

Citer

Alexis Bès, Christian Choffrut. (R,+,<,1) Is Decidable in (R,+,< ,Z). LATA 2020, Mar 2020, Milan, Italy. pp.128-140, ⟨10.1007/978-3-030-40608-0_8⟩. ⟨hal-04030835⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

More