Jens Ulrik Hansen – Publikationer — Roskilde Universitets forskningsportal

Vis Scopus-profil

Telefon+45 4674 2829
E-mailjensuhrucdk
Webstedhttp://forskning.ruc.dk/da/persons/jensuh

Universitetsvej 1, 10.2
DK-4000 Roskilde
Danmark

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

9 Tidsskriftartikel
6 Bidrag til bog/antologi
6 Konferencebidrag i proceedings
2 Konferenceartikel
Mere

1 resultater

Filter

2007

A Tableau system for a first-order hybrid logic
Hansen, J. U., 2007. 9 s.
Publikation: Konferencebidrag › Paper › Forskning › peer review