-
281
Initial Semantics for Reduction Rules
Published 2019-03-01Subjects: “…mathematics - logic…”
Get full text
Article -
282
Logical properties of random graphs from small addable classes
Published 2019-07-01Subjects: Get full text
Article -
283
Presburger Arithmetic with algebraic scalar multiplications
Published 2021-07-01Subjects: “…mathematics - logic…”
Get full text
Article -
284
The Sierpinski Object in the Scott Realizability Topos
Published 2020-08-01Subjects: Get full text
Article -
285
$\sigma$-locales in Formal Topology
Published 2022-01-01Subjects: “…mathematics - logic…”
Get full text
Article -
286
-
287
Relational Models for the Lambek Calculus with Intersection and Constants
Published 2023-12-01Subjects: Get full text
Article -
288
Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment
Published 2012-03-01Subjects: Get full text
Article -
289
-
290
ІНТЕГРОВАНЕ ПРОГРАМНЕ СЕРЕДОВИЩЕ ПІДТРИМКИ ДИСТАНЦІЙНОГО НАВЧАННЯ «МАТЛОГ»: КОНЦЕПЦІЯ, АРХІТЕКТУРА ТА РЕАЛІЗАЦІЯ...
Published 2010-08-01Subjects: “…mathematical logic integrated program environment…”
Get full text
Article -
291
The logic of the nation: Nationalism, formal logic, and interwar Poland
Published 2018-12-01Subjects: “…mathematical logic…”
Get full text
Article -
292
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Published 2022-11-01Subjects: “…mathematics - logic…”
Get full text
Article -
293
Refining learning models in grammatical inference
Published 2008Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Thesis -
294
Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
Published 2016Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Thesis -
295
Development of mobile application for analysis of electricity price plans (A)
Published 2019Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Final Year Project (FYP) -
296
Unprovability of circuit upper bounds in Cook's theory PV
Published 2017-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
297
Randomness extraction and asymptotic Hamming distance
Published 2013-09-01Subjects: “…mathematics - logic…”
Get full text
Article -
298
A limitation on the KPT interpolation
Published 2020-08-01Subjects: “…mathematics - logic…”
Get full text
Article -
299
On the Family of Conditional Embedded Implicational Dependencies
Published 1996-03-01Subjects: Get full text
Article -
300
The Structure of Differential Invariants and Differential Cut Elimination
Published 2012-11-01Subjects: Get full text
Article