An algebraic method for solving decision problems in finite automata theory

Authors:
Hing Leung
Affiliations:
-
Venue:
An algebraic method for solving decision problems in finite automata theory
Year:
1987

Citing 0
Cited 2

Equational theories of tropical semirings

Theoretical Computer Science - Foundations of software science and computation structures
Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract