Anbefalt term
Rewriting
Type
- Topic
Henvisningsterm
- Graph rewriting
- Reduction systems
- Rewrite engines
- Rewrite systems
- Rewriting logic
- Rewriting systems
- Rewriting techniques
- Term rewriting
Hører til inndeling
Identifikator
- REAL004176
På andre språk
norsk bokmål
- Omskrivning (Symbolsk logikk)
- Grafomskrivning
- Omskrivningslogikk
- Omskrivningsteknikker
- Termomskrivning
norsk nynorsk
- Omskriving (Symbolsk logikk)
- Grafomskriving
- Omskrivingslogikk
- Omskrivingsteknikkar
- Termomskriving
URI
http://data.ub.uio.no/realfagstermer/c004176