정의: In mathematics, linguistics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems. In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.
📊 분석 중입니다. 잠시만 기다려 주세요...
| 핵심 연구 분야 | Databases |
|---|---|
| 주요 연도 | 2022년 |
| 주요 연관 키워드 | tools |
| 좋아요 수 | 0 |