Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
510 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Publikation

Sprache

510 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Is sized typing for Coq practical?
    CHAN, JONATHAN ; LI, YUFENG ; et al.
    In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
    DANVY, OLIVIER
    In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Is sized typing for Coq practical?
    JONATHAN, CHAN ; YUFENG, LI ; et al.
    In: Journal of Functional Programming, Jg. 33 (2023)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Extracting functional programs from Coq, in Coq
    ANNENKOV, DANIL ; MILO, MIKKEL ; et al.
    In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Women have higher levels of CoQ 10 than men when supplemented with a single dose of CoQ 10 with monoglycerides omega-3 or rice oil and followed for 48 h: a crossover randomised triple blind controlled study
    Beaulieu, Sandrine ; Vachon, Annick ; et al.
    In: Journal of Nutritional Science ; volume 11 ; ISSN 2048-6790, 2022
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
    OLIVIER, DANVY
    In: Journal of Functional Programming, Jg. 33 (2023)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
    DANVY, OLIVIER
    In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
    OLIVIER, DANVY
    In: Journal of Functional Programming, Jg. 32 (2022)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Ready, Set , Verify! Applying hs-to-coq to real-world Haskell code
    BREITNER, JOACHIM ; SPECTOR-ZABUSKY, ANTAL ; et al.
    In: Journal of Functional Programming ; volume 31 ; ISSN 0956-7968 1469-7653, 2021
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Nikolai Rimsky-Korsakov - The Golden Cockerel Vladimir Feliauer bass-bar, Aida Garifullina sop Mariinsky Orchestra and Chorus, Valery Gergiev cond Anna Matison stage dir Mariinsky 596, 2017 (2 DVDs: 119 minutes) - Золотой петушок/Le coq d'or/The Golden Cockerel Pavlo Hunka bass-bar, Alexey Dolgov ten, Konstantin Shushakov bar, Alexander Vassiliev bass, Agnes Zwierko mezzo La Monnaie Symphony Orchestra and Chorus, Alain Altinoglu cond Laurent Pelly stage dir BelAir Classiques 147, 2018 (1 DVD: 118 minutes)
    Frolova-Walker, Marina
    In: Nineteenth-Century Music Review, Jg. 17 (2020-03-24), S. 321-324
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
    JOACHIM, BREITNER ; SPECTOR-ZABUSKY, ANTAL ; et al.
    In: Journal of Functional Programming, Jg. 31 (2021)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The Envy of Asinius Gallus
    Satterfield, Susan
    In: Antichthon ; volume 57, page 117-136 ; ISSN 0066-4774 2056-8819, 2023
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
    Blanqui, Frédéric ; Koprowski, Adam ; et al.
    In: ISSN: 0960-1295, 2011
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Comparative efficacy of ivermectin and Nigella sativa against helminths in Aseel chickens (Gallus gallus domesticus)
    Angel, C. ; Akhter, N. ; et al.
    In: Journal of Helminthology ; volume 93, issue 05, page 533-538 ; ISSN 0022-149X 1475-2697, 2018
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Hidden colouration: deep metrical flexibility in Machaut
    LAVACEK, JUSTIN
    In: Plainsong and Medieval Music ; volume 31, issue 2, page 143-167 ; ISSN 0961-1371 1474-0087, 2022
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Post-Première Revision: Guillaume de Machaut and Written Music in the Late Middle Ages
    MAW, DAVID
    In: Journal of the Royal Musical Association ; volume 147, issue 1, page 252-259 ; ISSN 0269-0403 1471-6933, 2022
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Victorine Restoration. Essays on Hugh of St Victor, Richard of St Victor, and Thomas Gallus. Edited by Robert Porwoll and David Orsbon. Turnhout: Brepols, 2021. 376 pp. € 110,00 hardcover.
    van Liere, Frans
    In: Church History ; volume 91, issue 4, page 915-916 ; ISSN 0009-6407 1755-2613, 2022
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Gallus Reborn: A Study of the Diffusion and Reception of Works Ascribed to Gaius Cornelius Gallus. Paul White. Routledge Focus on Classical Studies. London: Routledge, 2019. 76 pp. $60.
    Springer, Carl P. E.
    In: Renaissance Quarterly ; volume 74, issue 3, page 927-928 ; ISSN 0034-4338 1935-0236, 2021
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    The mimetic basis of pure music in Machaut's refrain songs: part 2, musical abstraction
    MAW, DAVID
    In: Plainsong and Medieval Music ; volume 29, issue 2, page 137-162 ; ISSN 0961-1371 1474-0087, 2020
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Machaut's motets on secular songs
    CLARK, ALICE V.
    In: Plainsong and Medieval Music ; volume 29, issue 1, page 1-25 ; ISSN 0961-1371 1474-0087, 2020
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -