Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 15 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
- distributed algorithm 6 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
-
26 weitere Werte:
- [info.info-os]computer science [cs]/operating systems [cs.os] 4 Treffer
- coinduction 4 Treffer
- composition 4 Treffer
- coq proof assistant 4 Treffer
- linux 4 Treffer
- lsm 4 Treffer
- self-stabilization 4 Treffer
- streams 4 Treffer
- information flow tracking 3 Treffer
- message passing 3 Treffer
- virtual machine 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 2 Treffer
- automated reasoning 2 Treffer
- call graph 2 Treffer
- certification 2 Treffer
- coalgebra 2 Treffer
- codata 2 Treffer
- computational logic 2 Treffer
- dependent type theory 2 Treffer
- inseparability 2 Treffer
- pattern matching 2 Treffer
- computer aided teaching 1 Treffer
- constraint programming 1 Treffer
- coq 1 Treffer
- formal proof 1 Treffer
- martin-lof type theory 1 Treffer
Publikation
Sprache
Geographischer Bezug
36 Treffer
-
In: WFLP 2020: Functional and Constraint Logic Programming ; International Workshop on Functional and Constraint Logic Programming (WFLP) ; https://hal.science/hal-04330062 ; International Workshop on Functional and Constraint Logic Programming (WFLP), Sep 2020, Bologna, Italy. pp.117-128, ⟨10.1007/978-3-030-75333-7_7⟩, 2020Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS) ; https://hal.inria.fr/hal-02044645 ; 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.34-55, ⟨10.1007/978-3-030-00389-0_4⟩, 2018Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS) ; https://hal.inria.fr/hal-02044645 ; 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.34-55, ⟨10.1007/978-3-030-00389-0_4⟩, 2018Online KonferenzZugriff:
-
In: CICM 2022 - 15th Conference on Intelligent Computer Mathematics ; https://inria.hal.science/hal-03781994 ; CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩, 2022Online KonferenzZugriff:
-
In: CICM 2022 - 15th Conference on Intelligent Computer Mathematics ; https://inria.hal.science/hal-03781994 ; CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩, 2022Online KonferenzZugriff:
-
In: Relational and Algebraic Methods in Computer Science19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021Online KonferenzZugriff:
-
In: Relational and Algebraic Methods in Computer Science19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021Online KonferenzZugriff:
-
In: Prof. Chlipala via Phoebe Ayers; (2021)Online BuchZugriff:
-
In: Prof. Chlipala via Phoebe Ayers; (2021)Online BuchZugriff:
-
In: Relational and Algebraic Methods in Computer Science19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021Online KonferenzZugriff:
-
In: Relational and Algebraic Methods in Computer Science19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021Online KonferenzZugriff:
-
In: Prof. Chlipala via Phoebe Ayers; (2019)Online BuchZugriff:
-
In: MIT web domain; (2019)Online BuchZugriff:
-
In: Lecture Notes in Computer Science ; 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01824816 ; 38th International Conference on Formal Techniques for Distributed Objects, 2018Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01824815 ; 38th International Conference on Formal Techniques for Distributed Objects, 2018Online KonferenzZugriff:
-
In: Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) ; 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) ; https://hal.sorbonne-universite.fr/hal-01535949 ; 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩ ; http://sefm17.fbk.eu/, 2017Online KonferenzZugriff: