Hard sets method and semilinear reservoir method with applications

This publication has 18 references indexed in Scilit:

• The equivalence problem of multitape finite automata
  Theoretical Computer Science, 1991
• New techniques for proving the decidability of equivalence problems
  Theoretical Computer Science, 1990
• On commutative context-free languages
  Journal of Computer and System Sciences, 1987
• The equivalence of finite valued transducers (on HDT0L languages) is decidable
  Theoretical Computer Science, 1986
• Quasirelations in a free group and transformator equivalence problems
  Algebra and Logic, 1986
• A proof of Ehrenfeucht's Conjecture
  Theoretical Computer Science, 1985
• Construction of decidable singular theories of two successor functions with an extra predicate
  Algebra and Logic, 1984
• The equivalence problem for real-time strict deterministic languages
  Information and Control, 1980
• The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
  SIAM Journal on Computing, 1978
• Sur les relations rationnelles entre monoides libres
  Theoretical Computer Science, 1976