Deterministic Verification of Integer Matrix Multiplication in Quadratic Time von Korec, Ivan, Wiedermann, Jiří

Volltext

Small universal register machines von Korec, Ivan

Volltext

Real-time generation of primes by a one-dimensional cellular automaton with 11 states von Korec, Ivan

Volltext

A list of arithmetical structures complete with respect to the first-order definability von Korec, Ivan

Volltext

Decidability (undecidability) of equivalence of Minsky machines with components consisting of at most seven (eight) instructions von Korec, Ivan

Volltext

Codings of nonnegative integers von Korec, Ivan

Volltext

Theories of generalized Pascal triangles von Korec, Ivan

Volltext

Small universal Minsky machines von Gregušová, Ľudmila, Korec, Ivan

Volltext

Irrational speeds of configurations growth in generalized Pascal triangles von Korec, Ivan

Volltext

Generalized pascal triangles: overview of new results von Korec, Ivan

Volltext

Definability within structures related to Pascal’s triangle modulo an integer von Bès, Alexis, Korec, Ivan

Volltext

Semilinear real-time systolic trellis automata von Korec, Ivan

Volltext

Improvement of Mycielski's inequality for non-natural disjoint covering system of Z von Korec, Ivan

Volltext

Undecidable problems concerning generalized pascal triangles of commutative algebras von Korec, Ivan

Volltext

Irreducible disjoint covering systems von Korec, Ivan

Volltext

A ring with arithmetical congruence lattice not preserved by any Pixley function von Korec, Ivan

Volltext

On a generalization of Mycielski's and Znám's conjectures about coset decomposition of Abelian groups von Korec, Ivan

Volltext

A ternary function for distributivity and permutability of an equivalence lattice von Korec, Ivan

Volltext

Model-interpretability into trees and applications von Korec, Ivan

Volltext

On a problem of V. Pták von Korec, Ivan

Volltext