Theoretical Computer Science 4th GI Conference: Aachen, March 26–28, 1979 von Weihrauch, K

Volltext

Theoretical Computer Science 4th GI Conference: Aachen, March 26–28, 1979

Volltext

Computability theory of generalized functions von Zhong, Ning, Weihrauch, Klaus

Volltext

Computability on the probability measures on the Borel sets of the unit interval von Weihrauch, Klaus

Volltext

Computability on subsets of Euclidean space I: closed and compact subsets von Brattka, Vasco, Weihrauch, Klaus

Volltext

Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines von Weihrauch, Klaus, Zhong, Ning

Volltext

Sorting presorted files von Mehlhorn, Kurt

Volltext

A Computable Version of Dini’s Theorem for Topological Spaces von Grubba, Tanja, Weihrauch, Klaus

Volltext

Computability on computable metric spaces von Weihrauch, Klaus

Volltext

IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE? von WEIHRAUCH, KLAUS, ZHONG, NING

Volltext

Computable Analysis von Weihrauch, Klaus

Volltext

On storage optimization for automatically generated compilers von Ganzinger, Harald

Volltext

A foundation for computable analysis von Weihrauch, Klaus

Volltext

An algorithm for computing fundamental solutions von WEIHRAUCH, Klaus, NING ZHONG

Volltext

Random elements in effective topological spaces with measure von Hertling, Peter, Weihrauch, Klaus

Volltext

Computability on the probability measures on the Borel sets of the unit interval: Computability and Complexity in Analysis von WEIHRAUCH, K

Volltext

When are two effectively given domains identical? von Kanda, Akira, Park, David

Volltext

Finite-change automata von von Braunmühl, Burchard, Verbeek, Rutger

Volltext

Context-free sets of infinite words von Boasson, L.

Volltext

On zerotesting-bounded multicounter machines von Jantzen, Matthias

Volltext