Clemens Grabmayer - Veröffentlichungen allgemein

(1 - 7 von 8

)

Theoretical Computer Science Productivity of stream definitions$

www.yumpu.com

Theoretical Computer Science Productivity of stream Read more about that, stream, with, definition, this and function.

Data-Oblivious Stream Productivity | SpringerLink

link.springer.com

We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is...

Clemens Grabmayer - Wikidatawww.wikidata.org › wiki

www.wikidata.org

Clemens Grabmayer. Ph.D. Vrije Universiteit Amsterdam Spanish. No label defined. No description defined. Traditional Chinese. No label defined.

Oalib search

www.oalib.com

Abstract: For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' ...

Some Remarks on Definability of Process Graphs | SpringerLinklink.springer.com › chapter

link.springer.com

Some Remarks on Definability of Process Graphs. Authors; Authors and affiliations. Clemens Grabmayer; Jan Willem Klop; Bas Luttik. Clemens Grabmayer. 1.

Some Remarks on Definability of Process Graphs | SpringerLink

link.springer.com

We propose the notions of “density” and “connectivity” of infinite process graphs and investigate them in the context of the well-known process algebras BPA...