Preferred term
Omskrivning (Symbolsk logikk)
Type
- Innholdsbeskrivende emne
Broader concept
Entry terms
- Grafomskriving
- Omskrivingslogikk
- Omskrivingsteknikkar
- Termomskriving
Identifier
- HUME64029
In other languages
English
- Rewriting
- Graph rewriting
- Reduction systems
- Rewrite systems
- Rewrite engines
- Rewriting logic
- Rewriting systems
- Rewriting techniques
- Term rewriting
Norwegian Bokmål
- Omskrivning (Symbolsk logikk)
- Grafomskrivning
- Omskrivningslogikk
- Omskrivningsteknikker
- Termomskriving
URI
http://data.ub.uio.no/humord/c64029