Searching for authors named "Thomas Marthedal Rasmussen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Formalizing Basic Number Theory
by Thomas Marthedal Rasmussen — 2000
…Formalizing Basic Number Theory Thomas Marthedal Rasmussen Computer Laboratory University…
Add To MetaCart

Signed Interval Logic
by Thomas Marthedal Rasmussen — 1999 — In CSL'99, volume 1683 of LNCS
…Signed Interval Logic ? Thomas Marthedal Rasmussen Department of Information Technology…
Cited by 5 (4 self) – Add To MetaCart

Labelled Natural Deduction for Interval Logics
by Thomas Marthedal Rasmussen — 2001 — In CSL'01, volume 2142 of LNCS
…Labelled Natural Deduction for Interval Logics ? Thomas Marthedal Rasmussen Informatics…
Cited by 2 (2 self) – Add To MetaCart

A Sequent Calculus for Signed Interval Logic
by Thomas Marthedal Rasmussen — 2001
…A Sequent Calculus for Signed Interval Logic Thomas Marthedal Rasmussen Informatics…
Cited by 2 (2 self) – Add To MetaCart

Signed Interval Logic on Totally Ordered Domains
by Thomas Marthedal Rasmussen — 1999
…Signed Interval Logic on Totally Ordered Domains Thomas Marthedal Rasmussen Computer Systems…
Cited by 2 (2 self) – Add To MetaCart

An Interactive Proof System for Map Theory
by Sebastian C. Skalberg, Gertrud Bauer, Stefan Berghofer, Gerwin Klein, David Von Oheimb, Prensa Nieto, Markus Wenzel, Thomas Marthedal Rasmussen, Jakob Grue Simonsen, Peter Mller Neergaard, Nally Anders Bystrup, Dina Friis, Jarl Friis, Signe Reuss, Christian Stefansen, Rolf Dyre Svegstrup — 2002
…, as well as my co-guests Giampaolo Bella and Ramaswamy Ramanujam. Thomas Marthedal Rasmussen, Jakob Grue…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB