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] 4 Treffer
- edu 3 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info]computer science [cs] 1 Treffer
-
18 weitere Werte:
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.6: model theory 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 1 Treffer
- archi 1 Treffer
- common knowledge 1 Treffer
- completeness 1 Treffer
- coq 1 Treffer
- cut-elimination 1 Treffer
- electronic computers. computer science 1 Treffer
- epistemic logic 1 Treffer
- higher order 1 Treffer
- kripke semantics 1 Treffer
- lang 1 Treffer
- logic 1 Treffer
- proof assistant 1 Treffer
- psy 1 Treffer
- soundness 1 Treffer
Sprache
Geographischer Bezug
6 Treffer
-
In: ITP 2018 - 9th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01703524 ; ITP 2018 - 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.459-476, ⟨10.1007/978-3-319-94821-8_27⟩, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://hal.inria.fr/hal-01799712 ; FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩, 2018Online KonferenzZugriff:
-
In: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; Programming Logics - Essays in Memory of Harald Ganzinger. ; Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science; (2013)BuchZugriff:
-
In: European Symposium on Programming (ESOP) 2017. ; https://hal.archives-ouvertes.fr/hal-01633133 ; European Symposium on Programming (ESOP) 2017., Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_26⟩, 2017Online KonferenzZugriff:
-
2010Online BuchZugriff:
-
In: Workshop on Logic, Language, Information and Computation ; https://inria.hal.science/inria-00381554 ; Workshop on Logic, 2009Online KonferenzZugriff: