Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
Geographischer Bezug
5 Treffer
-
In: LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE ; https://inria.hal.science/hal-00772347 ; LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Aug 2009, Los Angeles, United States, 2009KonferenzZugriff:
-
In: LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE ; https://hal.inria.fr/hal-00772347 ; LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Aug 2009, Los Angeles, United States, 2009KonferenzZugriff:
-
In: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://inria.hal.science/hal-00772736 ; Annals of Pure and Applied Logic, 2011, ⟨10.1016/j.apal.2011.01.012⟩, 2011Online academicJournalZugriff:
-
In: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.inria.fr/hal-00772736 ; Annals of Pure and Applied Logic, Elsevier Masson, 2011, ⟨10.1016/j.apal.2011.01.012⟩, 2011Online academicJournalZugriff:
-
In: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.inria.fr/hal-00772736 ; Annals of Pure and Applied Logic, Elsevier Masson, 2011, ⟨10.1016/j.apal.2011.01.012⟩, 2011Online academicJournalZugriff: