Higher-Order and Symbolic Computation (Tidsskrift)

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Beskrivelse

Higher Order and Symbolic Computing

Special Issue for ACM PEPM 2010

Guest editor, Special Issue for ACM PEPM 2010
Periode20102011
Type af tidsskriftTidsskrift
Issn1388-3690