Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS

Moen, Anders

May 25, 2000

DART

• Conference: Seminar in Mathematical Logic, Oslo
• Title: Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS
• Author(s): Moen, Anders
• Published date: May 25, 2000