Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS Anders Moen Publikasjonsdetaljer Arrangement: Seminar in Mathematical Logic, Oslo År: 2000 Du er her: Hjem Publikasjoner Vitenskapelig foredrag Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS