Parikh's theorem in commutative Kleene algebra

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 394-401

  Hopkins, Mark W ^a   Kozen, Dexter C ^a  

^a Adaptive Micro System Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONTEXT FREE GRAMMARS; CONTEXT FREE LANGUAGES; MATRIX ALGEBRA; POLYNOMIALS; VECTORS;

COMMUTATIVE KLEENE ALGEBRA; JACOBIAN MATRIX; PARIKH THEOREM;

THEOREM PROVING;

EID: 0032597494     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)