Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 45 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 19 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 18 Treffer
- coq 18 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 17 Treffer
-
45 weitere Werte:
- [info.info-se]computer science [cs]/software engineering [cs.se] 15 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 14 Treffer
- [info.info-es]computer science [cs]/embedded systems 12 Treffer
- [info.info-dc]computer science [cs]/distributed 11 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 11 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 11 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 11 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 11 Treffer
- and cluster computing [cs.dc] 11 Treffer
- parallel 11 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 10 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 9 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 9 Treffer
- minsky machines 8 Treffer
- type theory 8 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 7 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 7 Treffer
- coq proof assistant 7 Treffer
- proof assistant 7 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 6 Treffer
- undecidability 6 Treffer
- formal methods 5 Treffer
- [info]computer science [cs] 4 Treffer
- abstract machines 4 Treffer
- denotational semantics 4 Treffer
- formal analysis 4 Treffer
- many-one reduction 4 Treffer
- operational semantics 4 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 3 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 3 Treffer
- [math.math-ac]mathematics [math]/commutative algebra [math.ac] 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 3 Treffer
- acm: d.: software/d.4: operating systems/d.4.7: organization and design/d.4.7.4: real-time systems and embedded systems 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- analyzer 3 Treffer
- automated theorem proving 3 Treffer
- computability theory 3 Treffer
- constructive type theory 3 Treffer
- diophantine equations 3 Treffer
- fractran 3 Treffer
- howe's method 3 Treffer
- knowledge reasoning 3 Treffer
Verlag
Publikation
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- ieee computer software and applications, compsac'11 ; https://inria.hal.science/inria-00601906 ; ieee computer software and applications, compsac'11, jul 2011, munich, germany 2 Treffer
- international conference on software engineering and formal methods, sefm 2011 ; https://inria.hal.science/inria-00601907 ; international conference on software engineering and formal methods, sefm 2011, nov 2011, montevideo, uruguay 2 Treffer
Sprache
Geographischer Bezug
101 Treffer
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://inria.hal.science/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff:
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://hal.inria.fr/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff:
-
In: The Coq Workshop 2022 ; https://hal.science/hal-03756335 ; The Coq Workshop 2022, Aug 2022, Haifa, Israel, 2022Online KonferenzZugriff:
-
In: The Coq Workshop 2022 ; https://hal.science/hal-03756335 ; The Coq Workshop 2022, Aug 2022, Haifa, Israel, 2022Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01614987 ; CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩, 2018Online KonferenzZugriff:
-
In: CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01614987 ; CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩, 2018Online KonferenzZugriff:
-
In: CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01614987 ; CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩, 2018Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3, 2017Online KonferenzZugriff:
-
In: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://hal.inria.fr/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3, 2017Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3, 2017Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.science/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.archives-ouvertes.fr/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.science/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.archives-ouvertes.fr/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://inria.hal.science/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff: