skip to main content

data.ub.uio.no

Innholdsspråk

ANBEFALT TERM
Omskrivning  
TYPE
  • Innholdsbeskrivende emne

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

engelsk

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

norsk nynorsk

Termomskriving
Omskrivingsteknikkar
Grafomskriving
Omskrivingslogikk
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
NÆRLIGGENDE BEGREPER
www.wikidata.org