Searching for authors named "Tomasz Truderung" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Optimal Complexity Bounds for Positive LTL Games
- …Optimal Complexity Bounds for Positive LTL Games Jerzy Marcinkowski # and Tomasz Truderung…
- Cited by 3 (0 self) – Add To MetaCart
-
Truderung On the Automatic Analysis of Recursive Security Protocols with XOR
- … Truderung 2 1 ETH Zurich ralf.kuesters@(email omitted); 2 University of Kiel and Wroc̷law University tomasz.truderung…
- Cited by 2 (0 self) – Add To MetaCart
-
Polymorphic Directional Types for Logic Programming
- … Science Wrocaw University Poland prych@(email omitted); Tomasz Truderung Institute of Computer Science…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 3.
