Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 14 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 10 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 10 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 9 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 7 Treffer
-
40 weitere Werte:
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 7 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 6 Treffer
- coq 5 Treffer
- [info.info-dc]computer science [cs]/distributed 4 Treffer
- and cluster computing [cs.dc] 4 Treffer
- parallel 4 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 3 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 3 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 3 Treffer
- [scco.comp]cognitive science/computer science 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.2: grammars and other rewriting systems 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling/i.6.7: simulation support systems 3 Treffer
- common knowledge 3 Treffer
- computer architecture 3 Treffer
- epistemic logic 3 Treffer
- higher order 3 Treffer
- higher order logic 3 Treffer
- i.2.4 knowledge representation formalisms and methods 3 Treffer
- logic 3 Treffer
- nested datatypes 3 Treffer
- proof assistant 3 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 2 Treffer
- acm i.2.3 deduction and theorem proving 2 Treffer
- acm: c.: computer systems organization/c.1: processor architectures 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 2 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 2 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling/i.6.7: simulation support systems/i.6.7.0: environments 2 Treffer
- calculus of inductive constructions 2 Treffer
- coq proof assistant 2 Treffer
- haskell 2 Treffer
- instruction set simulation 2 Treffer
- program verification 2 Treffer
- theorem proving 2 Treffer
- verification & proofs 2 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.2: logics of programs 1 Treffer
- agda 1 Treffer
- system f 1 Treffer
Verlag
Sprache
31 Treffer
-
In: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff:
-
In: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff:
-
In: Proof and Computation II ; https://hal.inria.fr/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩; (2021)Online BuchZugriff:
-
In: From Semantics to Computer Science ; https://inria.hal.science/inria-00431806 ; Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science, Cambridge University Press, pp.383-413, 2009, 9780521518253; (2009)Online BuchZugriff:
-
In: From Semantics to Computer Science ; https://inria.hal.science/inria-00431806 ; Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science, Cambridge University Press, pp.383-413, 2009, 9780521518253; (2009)Online BuchZugriff:
-
In: https://inria.hal.science/hal-01632617 ; ISTE Press - Elsevier, pp.326, 2017, 9781785481123; (2017)BuchZugriff:
-
In: https://hal.inria.fr/hal-01632617 ; ISTE Press - Elsevier, pp.326, 2017, 9781785481123; (2017)BuchZugriff:
-
In: 24th International Conference on Types for Proofs and Programs (TYPES 2018; (2019)Online BuchZugriff:
-
In: 24th International Conference on Types for Proofs and Programs (TYPES 2018; (2019)Online BuchZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://hal.inria.fr/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: All about Proofs, Proofs for All ; https://inria.hal.science/hal-01094195 ; Bruno Woltzenlogel Paleo; David Delahaye. All about Proofs, Proofs for All, 55, College Publications, 2015, Studies in Logic (Mathematical logic and foundations), 978-1-84890-166-7 ; http://www.collegepublications.co.uk/logic/mlf/?00023; (2015)Online BuchZugriff:
-
In: All about Proofs, Proofs for All ; https://hal.inria.fr/hal-01094195 ; Bruno Woltzenlogel Paleo; David Delahaye. All about Proofs, Proofs for All, 55, College Publications, 2015, Studies in Logic (Mathematical logic and foundations), 978-1-84890-166-7 ; http://www.collegepublications.co.uk/logic/mlf/?00023; (2015)Online BuchZugriff:
-
In: Programming Logics - Essays in Memory of Harald Ganzinger. ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00869081 ; 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: Programming Logics - Essays in Memory of Harald Ganzinger. ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00869081 ; 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: Programming Logics - Essays in Memory of Harald Ganzinger. ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00869081 ; 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: Memory of Harald Ganzinger 2013 ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00199368 ; Andreï Voronkov & Christoph Weidenbach. Memory of Harald Ganzinger 2013, 7797, Springer, pp.271-284, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-40206-7_15⟩; (2013)Online BuchZugriff:
-
In: Memory of Harald Ganzinger 2013 ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00199368 ; Andreï Voronkov & Christoph Weidenbach. Memory of Harald Ganzinger 2013, 7797, Springer, pp.271-284, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-40206-7_15⟩; (2013)Online BuchZugriff: