S. L. Krivoj

Available identifiers

zbMath Open krivoj.s-lMaRDI QIDQ1842441

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5487321	2006-09-19	Paper
Program reduction allowing for additional specifications	1996-05-20	Paper
Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1	1996-02-08	Paper
Congruent closure algorithms for finite automata and some applications	1995-05-17	Paper
Algorithms for minimization of finite acyclic automata and pattern matching in terms	1992-09-27	Paper
Transformation synthesis of efficient algorithms with auxiliary specifications	1986-01-01	Paper
Efficiency of certain algorithms of combinatorial group theory	1985-01-01	Paper
Search for invariant linear relationships in programs	1984-01-01	Paper
An algorithm to construct the basis of the intersection of finitely generated free groups	1982-01-01	Paper
An algorithm for finding invariant relations in programs	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: S. L. Krivoj