BOOK-CHAPTER
An efficient parallel algorithm for term matching
Rakesh VermaT R KrishnaprasadI. V. Ramakrishnan
Year: 1986 Lecture notes in computer science Pages: 504-518 Publisher: Springer Science+Business Media
Keywords:
Term (time) Computer science Matching (statistics) Algorithm Parallel algorithm Rewriting Sequence (biology) Equivalence (formal languages) Path (computing) Pattern matching Parallel computing Mathematics Discrete mathematics
Metrics
9
Cited By
3.17
FWCI (Field Weighted Citation Impact)
8
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Natural Language Processing Techniques
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Efficient parallel term matching and anti-unification
Journal: Journal of Automated Reasoning Year: 1992 Vol: 9 (3)Pages: 391-406
BOOK-CHAPTER
An efficient parallel algorithm for maximal matching
Lecture notes in computer science Year: 1992 Pages: 813-814
JOURNAL ARTICLE
An efficient parallel algorithm for exact multi‐pattern matching
Hongli ZhangDongliang XuZhihong TianYujian Fan
Journal: Security and Communication Networks Year: 2014 Vol: 8 (9)Pages: 1688-1697
JOURNAL ARTICLE
Communication-Efficient Bulk Synchronous Parallel Algorithm for Parentheses Matching.
Journal: PPSC Year: 2001 Vol: 91 (4)Pages: 395-7
BOOK-CHAPTER
An Efficient Parallel String Matching Algorithm Based on DFA
Yujian FanHongli ZhangJiahui LiuDongliang Xu
Communications in computer and information science Year: 2013 Pages: 349-356