Ketema, J. (Jeroen), 1978-
Ketema, J. 1978-
Jeroen Ketema Ph.D. Vrije Universiteit Amsterdam 2006
VIAF ID: 284014962 ( Personal )
Permalink: http://viaf.org/viaf/284014962
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Böhm-like trees for rewriting | |
Vicious circles in orthogonal term rewriting systems |