Hoogewijs, Albert.
Hoogewijs, A. (Albert)
Hoogewijs, A
Albert Hoogewijs
VIAF ID: 196717578 ( Personal )
Permalink: http://viaf.org/viaf/196717578
Preferred Forms
- 100 0 _ ‡a Albert Hoogewijs
-
-
- 100 1 _ ‡a Hoogewijs, Albert
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Congruenties op semischierringen, vrije semischierringen, transformatie semischierringen | |
A formal system for proof checking in MIZAR | |
Formele talen : van theorie tot praktijk | |
Jean Decoen | |
Joint BeNeLuxFra Conference in Mathematics | |
Semi-nearring embeddings |