Preferred term
Omskrivning (Symbolsk logikk)
Type
- Innholdsbeskrivende emne
Definition
- Formelle metoder i matematisk logikk og informatikk <uio>
Broader concept
Entry terms
- Grafomskrivning
- Omskrivningslogikk
- Omskrivningsteknikker
- Termomskriving
Identifier
- HUME64029
Editorial note
- Lukket bemerkning: ubo24
In other languages
English
- Rewriting
- Graph rewriting
- Reduction systems
- Rewrite systems
- Rewrite engines
- Rewriting logic
- Rewriting systems
- Rewriting techniques
- Term rewriting
Norwegian Nynorsk
- Omskrivning (Symbolsk logikk)
- Grafomskriving
- Omskrivingslogikk
- Omskrivingsteknikkar
- Termomskriving
URI
http://data.ub.uio.no/humord/c64029