Searching for authors named "Thomas Noll" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Two Sacrileges in Theory – Stimulated by Scriabin’s Piano Study Op. 65/3
- …Two Sacrileges in Theory – Stimulated by Scriabin’s Piano Study Op. 65/3 Thomas Noll Escola…
- Add To MetaCart
-
On Coherence Properties in Term Rewriting Models of Concurrency
- …On Coherence Properties in Term Rewriting Models of Concurrency Thomas Noll Lehrstuhl fur…
- Cited by 3 (0 self) – Add To MetaCart
-
Geometry of chords
- …Geometry of Chords Thomas Noll ∗ Department of Computer Science Technical University of Berlin…
- Cited by 2 (1 self) – Add To MetaCart
-
Global Music Theory
- …Global Music Theory Thomas Noll Research Group KIT-MaMuTh for Mathematical Music Theory…
- Cited by 1 (1 self) – Add To MetaCart
-
Musical Intervals and Special Linear Transfomations
- … Transformations THOMAS NOLL Pfarrstr. 6, D-04860 Torgau (v2.1 September 2006) This paper presents a…
- Cited by 1 (1 self) – Add To MetaCart
-
Truth - A Real-World Application in Haskell
- …Truth -- A Real--World Application in Haskell Martin Leucker 1 and Thomas Noll 2 1 Lehrstuhl…
- Add To MetaCart
-
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
- …Truth/SLC | A Parallel Verication Platform for Concurrent Systems Martin Leucker and Thomas Noll…
- Cited by 5 (1 self) – Add To MetaCart
-
A Distributed Model Checking Tool Tailored to Erlang
- …A Distributed Model Checking Tool Tailored to Erlang Martin Leucker and Thomas Noll Lehrstuhl f…
- Cited by 1 (0 self) – Add To MetaCart
-
Top-down parsing with simultaneous evaluation of noncircular attribute grammars
- …Top--down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars Thomas Noll…
- Cited by 4 (4 self) – Add To MetaCart
-
Rapid Prototyping of Specification Language Implementations
- …1 Rapid Prototyping of Specification Language Implementations Martin Leucker and Thomas Noll…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
