On Decidability Within the Arithmetic of Addition and Divisibility

The arithmetic of natural numbers with addition and divisibility has been shown undecidable as a consequence of the fact that multiplication of natural numbers can be interpreted into this theory, as shown by J. Robinson [14]. The most important decidable subsets of the arithmetic of addition and di...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bozga, Marius, Iosif, Radu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Arithmetic Progression Atomic Proposition Chinese Remainder Theorem Computer Science Computer science control theory systems Conjunctive Normal Form Elimination Procedure Embedded Systems Exact sciences and technology Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!