Title
Equations Between Regular Terms And An Application To Process Logic
Year
DOI
Venue
1985
10.1137/0214066
SIAM JOURNAL ON COMPUTING
Keywords
Field
DocType
context free languages
Discrete mathematics,Regular sets,Context-free language,Combinatorics,Algebra,Abstract family of languages,Boolean satisfiability problem,Operator (computer programming),Process logic,Mathematics,Undecidable problem
Journal
Volume
Issue
ISSN
14
4
0097-5397
Citations 
PageRank 
References 
5
0.52
0
Authors
4
Name
Order
Citations
PageRank
Rohit Parikh11510540.65
Ashok K. Chandra231161215.02
Joseph Y. Halpern396171618.10
Albert R. Meyer4467172.37