Klaus Grue

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A synthetic axiomatization of map theory Theoretical Computer Science	2016-01-21	Paper
Logiweb	2013-09-09	Paper
Dedekind completion as a method for constructing new Scott domains Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
A gentle introduction to map theory	2011-03-25	Paper
Logiweb -- a system for web publication of mathematics Lecture Notes in Computer Science	2010-09-14	Paper
The Layers of Logiweb Towards Mechanized Mathematical Assistants	2007-11-28	Paper
scientific article; zbMATH DE number 1984518 (Why is no real title available?)	2003-09-22	Paper
A \(\kappa\)-denotational semantics for map theory in ZFC+SI Theoretical Computer Science	1999-01-12	Paper
A \(\kappa\)-denotational semantics for map theory in ZFC+SI Theoretical Computer Science	1998-07-22	Paper
Map theory Theoretical Computer Science	1992-09-27	Paper
scientific article; zbMATH DE number 17703 (Why is no real title available?)	1992-06-26	Paper
Optimal reconstruction of bandlimited bounded signals IEEE Transactions on Information Theory	1985-01-01	Paper

Research outcomes over time

This page was built for person: Klaus Grue