Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
313 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

Verlag

Publikation

Geographischer Bezug

313 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Mechanizing Matching Logic In Coq
    Bereczky, Péter ; Chen, Xiaohong ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Lebesgue Induction and Tonelli's Theorem in Coq
    Boldo, Sylvie ; Clément, François ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    General Automation in Coq through Modular Transformations
    Blot, Valentin ; de Prisque, Louise Dubois ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq
    Frumin, Dan
    2021
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formalising a Turing-Complete Choreographic Language in Coq
    Cruz-Filipe, Luís ; Montesi, Fabrizio ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Church's thesis and related axioms in Coq's type theory
    Forster, Yannick
    2020
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Towards a Verified Model of the Algorand Consensus Protocol in Coq
    Alturki, Musab A. ; Chen, Jing ; et al.
    2019
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    E05201: Gregory of Tours, in his Miracles of Julian (23), recounts how Gallus, his uncle and later bishop of Clermont, suffered from a thorn in his foot and was healed after vigils at the shrine of *Julian (martyr of Brioude, S00035) in Brioude (central Gaul), in 524/532. Written in Latin in Clermont and Tours (central and north-west Gaul), 570/587.
    kwojtalik
    2018
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Zur Datierung des Legionskommandos von L. Munatius M.f.Ter. Gallus ; For the date of the Legion Command of L. Munatius M.f.Ter. Gallus
    Frei-Stolba, Regula
    In: Jahresbericht / Gesellschaft Pro Vindonissa ; 507139-2 ; 0072-4270 ; - ; 2018 ; 19, 2018
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Drei Pforten zur Seligkeit : die Galluspforte als Mittlerin zwischen Gegenwart und Jüngstem Gericht ; Three gates to be self-sustained: the Gallus marshes as an intermediary between the present and the young dishes
    Regenass, Noah
    In: Basler Zeitschrift für Geschichte und Altertumskunde ; 201059-8 ; 0067-4540 ; 118 ; 2018 ; 203, 2018
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Experience Implementing a Performant Category-Theory Library in Coq
    Gross, Jason ; Chlipala, Adam ; et al.
    2014
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    E00039: Gregory of Tours writes the Life of *Gallus (bishop of Clermont, ob. 551, S00034): it presents the saint as a man of exceptional patience, who protects Clermont (central Gaul) from fire, earthquake and plague; many miracles occur at his funeral and thereafter. From Gregory's Life of the Fathers, written in Latin in Tours (north-west Gaul), 573/594. Overview of Gregory's Life of Gallus.
    Admin, CSLA
    2014
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    E02741: Gregory of Nazianzus, in his First Oration against Julian, of 361/363, reports that the emperor Julian the Apostate and his brother, Gallus, built a shrine for martyrs during their youth; the work sponsored by Julian was miraculously rejected and destroyed. Written in Greek at Nazianzus (central Asia Minr).
    Bryan
    2017
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Formalization of Quantum Protocols using Coq
    Boender, Jaap ; Kammüller, Florian ; et al.
    2015
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Frau Barmherzigkeit öffnet die Pforte zum Himmel : Betrachtungen zur Galluspforte am Basler Münster ; Ms Barmherzheit opens the door to the sky: Consideration of the gallus marrows at the Basler Münster
    Bossart, Irina
    In: Mariastein ; 2599191-7 ; 1664-4948 ; 93 ; 2016 ; 1 ; 8, 2016
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Der heilige Gallus und Mariastein : Erinnerungsstücke aus dem Bregenzer Gallusstift ; The Holy Gallus and Mariastein: Remembrances from the Bregenzer Gallus pencil
    Schenker, Lukas
    In: Mariastein ; 2599191-7 ; 1664-4948 ; 89 ; 2012 ; [5] ; 10, 2012
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Gallus und Grabs : Umstände und Bedeutung der Flucht nach Churrätien ; Gallus and Grabs: Circumstances and importance of escape to Churrätia
    Schär, Max
    In: Werdenberger Jahrbuch : Beiträge zu Geschichte und Kultur der Gemeinden Wartau, Sevelen, Buchs, Grabs, Gams und Sennwald ; 1009448-9 ; 25 ; 2012 ; 70, 2012
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Caninius Gallus on Agrippa the comes Augusti
    Woods, David
    In: Schweizerische numismatische Rundschau = Revue suisse de numismatique = Rivista svizzera di numismatica ; 205418-8 ; 0035-4163 ; 93 ; 2014 ; 51, 2014
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Sankt Galler Bauten der Gallus- und Otmarzeit (7. und 8. Jahrhundert) ; Sankt Galler Bauten of Gallus and Otmar (7th and 8th centuries)
    Schär, Max
    In: Zeitschrift für schweizerische Archäologie und Kunstgeschichte = Revue suisse d’art et d’archéologie = Rivista svizzera d’arte e d’archeologia = Journal of Swiss archeology and art history ; 280174-7 ; 0044-3476 ; 65 ; 2008 ; 4 ; 269, 2008
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Computing Persistent Homology within Coq/SSReflect
    Heras, Jónathan ; Coquand, Thierry ; et al.
    In: arXiv, 2012
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -