Cate, Balder David ten
Cate, Balder ten, 1979-
Cate, Balder D. ten
Cate, Balder ten (Balder David), 1979-
Balder ten Cate computer scientist, professor, researcher and musician
VIAF ID: 60275373 ( Personal )
Permalink: http://viaf.org/viaf/60275373
Preferred Forms
- 100 0 _ ‡a Balder ten Cate ‡c computer scientist, professor, researcher and musician
- 100 1 _ ‡a Cate, Balder D. ten
- 100 1 _ ‡a Cate, Balder David ten
-
-
- 100 1 _ ‡a Cate, Balder ten ‡d 1979-
-
-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
The first order formulas preserved under ultrafilter extensions are not recursively enumerable | |
Model theory for extended modal languages, c2005: | |
Sixth International Tbilisi Symposium on Logic, Language, and Computation | |
TbiLLC 2005 | |
Transfer results for hybrid logic |