Congruent closure algorithms for finite automata and some applications

DOI10.1007/BF02366360zbMath0822.68068MaRDI QIDQ1842442

S. L. Krivoj

Publication date: 17 May 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

computer algebrafinite automatonfinite acyclic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• A Gradient Technique of Adaptive Monte Carlo
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Congruent closure algorithms for finite automata and some applications