Weak essentially undecidable theories of concatenation
Work
Year: 2022
Type: article
Abstract: In the language $$\lbrace 0, 1, \circ , \preceq \rbrace $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>{</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml... more
Source: Archive for Mathematical Logic
Author Juvenal Murwanashyaka
Institution University of Oslo
Cites: 12
Cited by: 4
Related to: 10
FWCI: 0.723
Citation percentile (by year/subfield): 58.55
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,990
Funder Universitetet i Oslo