Ivan Korec - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2014

Deterministic Verification of Integer Matrix Multiplication in Quadratic TimeIvan Korec, Jirí Wiedermann. sofsem 2014: 375-382 [doi]

2001

A list of arithmetical structures complete with respect to the first-order definabilityIvan Korec. TCS, 257(1-2):115-151, 2001. [doi]

1998

Real-time generation of primes by a one-dimensional cellular automaton with 9-statesIvan Korec. mcu 1998: 101-116

1997

Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 StatesIvan Korec. mfcs 1997: 358-367

Theories of Generalized Pascal TrianglesIvan Korec. APAL, 89(1):45-52, 1997.

1996

Small Universal Register MachinesIvan Korec. TCS, 168(2):267-301, 1996. [doi]

1993

Definability of Arithmetic Operations from the Order and a Random RelationIvan Korec. FUIN, 18:287-296, 1993.

Irrational Speeds of Configurations Growth in Generalized Pascal TrianglesIvan Korec. TCS, 112(2):399-412, 1993.

1989

Semilinear Real-Time Systolic Trellis AutomataIvan Korec. fct 1989: 267-276

1987

Improvement of Mycielski s inequality for non-natural disjoint covering system of ZIvan Korec. DM, 64(1):27-38, 1987. [doi]

1986

Undecidable Problems Concerning Generalized Pascal Triangles of Commutative AlgebrasIvan Korec. mfcs 1986: 458-466

1984

Two kinds of processors are sufficient and large operating alphabets are needed for regular trellis automata languagesIvan Korec. eatcs, 23:35-41, 1984.

1981

Codings of Nonnegative IntegersIvan Korec. mfcs 1981: 379-388

1979

Small Universal Minsky MachinesLudmila Gregusová, Ivan Korec. mfcs 1979: 308-316

1977

Real-Time Computability of integer part of (abs(alpha) x) and integer part of x:::alpha:::Ivan Korec, Juraj Procházka. eik, 13(1/2):13-26, 1977.

Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) InstructionsIvan Korec. mfcs 1977: 324-332

1975

Non-Linear Speed-Up Theorem for Two Register Minsky MachinesM. Benesová, Ivan Korec. mfcs 1975: 179-185

Model-interpretability into trees and applicationsIvan Korec. AML, 17(3-4):97-104, 1975. [doi]

1973

Computational Complexity Based on Expectation of the Time of Computation on Minsky MachinesIvan Korec. mfcs 1973: 247-250

Sign in or sign up to see more results.

runs on WebDSL