Initial Semantics for Reduction Rules by Benedikt Ahrens

Subjects: “…mathematics - logic…”
Get full text

Logical properties of random graphs from small addable classes by Anuj Dawar, Eryk Kopczyński

Subjects: Get full text

Presburger Arithmetic with algebraic scalar multiplications by Philipp Hieronymi, Danny Nguyen, Igor Pak

Subjects: “…mathematics - logic…”
Get full text

The Sierpinski Object in the Scott Realizability Topos by Tom de Jong, Jaap van Oosten

Subjects: Get full text

$\sigma$-locales in Formal Topology by Francesco Ciraulo

Subjects: “…mathematics - logic…”
Get full text

The principle of pointfree continuity by Tatsuji Kawai, Giovanni Sambin

Subjects: Get full text

Relational Models for the Lambek Calculus with Intersection and Constants by Stepan L. Kuznetsov

Subjects: Get full text

Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment by Gunnar Wilken, Andreas Weiermann

Subjects: Get full text

Positive First-order Logic on Words and Graphs by Denis Kuperberg

Subjects: Get full text

ІНТЕГРОВАНЕ ПРОГРАМНЕ СЕРЕДОВИЩЕ ПІДТРИМКИ ДИСТАНЦІЙНОГО НАВЧАННЯ «МАТЛОГ»: КОНЦЕПЦІЯ, АРХІТЕКТУРА ТА РЕАЛІЗАЦІЯ... by Yurii I. Sinko

Subjects: “…mathematical logic integrated program environment…”
Get full text

The logic of the nation: Nationalism, formal logic, and interwar Poland by David E. Dunning

Subjects: “…mathematical logic…”
Get full text

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

Subjects: “…mathematics - logic…”
Get full text

Refining learning models in grammatical inference by Wang, Xiangrui

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling by Kong, Pingfan

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Development of mobile application for analysis of electricity price plans (A) by Ong, John Rongxing

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Unprovability of circuit upper bounds in Cook's theory PV by Jan Krajicek, Igor C. Oliveira

Subjects: “…mathematics - logic…”
Get full text

Randomness extraction and asymptotic Hamming distance by Cameron E. Freer, Bjoern Kjos-Hanssen

Subjects: “…mathematics - logic…”
Get full text

A limitation on the KPT interpolation by Jan Krajíček

Subjects: “…mathematics - logic…”
Get full text

On the Family of Conditional Embedded Implicational Dependencies by Victor Felea

Subjects: Get full text

The Structure of Differential Invariants and Differential Cut Elimination by Andre Platzer

Subjects: Get full text