Knuth-Bendix algorithm
type: Topic
type: Concept
preferred label: Knuth-Bendix-algoritmen @nn
related: Rewriting

Rewriting
type: Topic
type: Concept
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-03-06T00:00:00
modified: 2024-03-06T12:39:25
alternative label: Rewrite systems
alternative label: Grafomskriving @nn
alternative label: Omskrivingslogikk @nn
alternative label: Termomskriving @nb
alternative label: Term rewriting
alternative label: Rewriting systems
alternative label: Grafomskrivning @nb
alternative label: Graph rewriting
alternative label: Rewriting techniques
alternative label: Rewriting logic
alternative label: Omskrivingsteknikkar @nn
alternative label: Reduction systems
alternative label: Rewrite engines
alternative label: Omskrivningslogikk @nb
alternative label: Omskrivningsteknikker @nb
broad match: e23
broader: Symbolic logic
definition: Formelle metoder i matematisk logikk og informatikk <uio> @nb
editorial note: Lukket bemerkning: ubo24 @nb
in scheme: Humord
mapping relation: e23
preferred label: Omskrivning (Symbolsk logikk) @nb
related: Knuth-Bendix algorithm

Symbolic logic
type: Topic
type: Concept
narrower: Rewriting
preferred label: Symbolsk logikk @nn

Humord
type: ConceptScheme

Topic
type: Class
label: Innholdsbeskrivende emne @nb