Searching for authors named "Helle Hvid Hansen" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Monotonic Modal Logics
by Helle Hvid Hansen — 2003
…Monotonic Modal Logics Helle Hvid Hansen Master's thesis written under the supervision of Dr. Y…
Cited by 5 (0 self) – Add To MetaCart

Synthesis of mealy machines using derivatives
by Helle Hvid Hansen, David Costa — 2006 — In: Proceedings of CMCS 2006. ENTCS
…Synthesis of Mealy Machines Using Derivatives Helle Hvid Hansen 1 Free University Amsterdam (VUA…
Cited by 3 (2 self) – Add To MetaCart

Axiomatising Nash-Consistent Coalition Logic
by Helle Hvid Hansen, Marc Pauly — 2002 — ILLC, University of Amsterdam
…Axiomatising Nash-Consistent Coalition Logic Helle Hvid Hansen Marc Pauly y April 12, 2002…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 3.

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