Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS Anders Moen Publication details Event: Seminar in Mathematical Logic, Oslo Year: 2000 You are here: Home Publications Scientific lecture Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS