Results 191 to 200 of about 14,367 (205)

Constant Regions in Models of Arithmetic

Notre Dame Journal of Formal Logic, 2015
Tin Lok Wong
exaly  

Improving DC Coding Models of JPEG Arithmetic Coder

IEEE Signal Processing Letters, 2004
G Lakhani
exaly  

ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
exaly  

Kripke Models Built from Models of Arithmetic

Lecture Notes in Computer Science, 2015
exaly  

On a class of models of the n-th order arithmetic

Lecture Notes in Mathematics, 1978
W Marek
exaly  

Two orderings of the class of all countable models of peano arithmetic

Lecture Notes in Mathematics, 1980
Pavel Pudlák
exaly  

Definable sets and expansions of models of Peano arithmetic

Archive for Mathematical Logic, 1988
exaly  

Petri net arithmetic models for scalable business processes

2017
Riyanarto Sarno, Abd Charis Fauzan, Muhammad Ainul Yaqin   +2 more
exaly  

Inconsistent Models of Arithmetic Part I: Finite Models

Journal of Philosophical Logic, 1997
exaly  

Generic cuts in models of arithmetic

Mathematical Logic Quarterly, 2008
exaly