S. L. Krivoj

Available identifiers

Publication	Date of Publication	Type
On feature interaction in telecommunication systems	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

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