skip to main content

data.ub.uio.no

Innholdsspråk

ANBEFALT TERM
Omskrivning  
TYPE
  • Innholdsbeskrivende emne

DEFINISJON
  • Formelle metoder i matematisk logikk og informatikk
RELATERTE BEGREPER
HENVISNINGSTERM
  • Grafomskrivning
  • Omskrivningslogikk
  • Omskrivningsteknikker
  • Termomskrivning
HØRER TIL INNDELING
IDENTIFIKATOR
  • REAL004176
PÅ ANDRE SPRÅK

engelsk

Graph rewriting
Reduction systems
Rewrite engines
Rewrite systems
Rewriting logic
Rewriting systems
Rewriting techniques
Term rewriting

norsk nynorsk

Grafomskriving
Omskrivingslogikk
Omskrivingsteknikkar
Termomskriving
URI
http://data.ub.uio.no/realfagstermer/c004176
Last ned dette begrepet:
RDF/XML TURTLE JSON-LD Opprettet 25.08.2014, sist endret 29.04.2019