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] 45 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 42 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 34 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 34 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 31 Treffer
-
45 weitere Werte:
- logical frameworks 13 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 13 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 13 Treffer
- coq 11 Treffer
- interactive theorem proving 10 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 8 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 7 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 5 Treffer
- acm: d.: software/d.3: programming languages 5 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 5 Treffer
- computability theory 5 Treffer
- dependent types 5 Treffer
- many-one reduction 5 Treffer
- minsky machines 5 Treffer
- relevance logic 5 Treffer
- subtyping 5 Treffer
- type theory 5 Treffer
- undecidability 5 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 4 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 4 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- acm: d.: software/d.3: programming languages/d.3.3: language constructs and features 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages 4 Treffer
- computer science - logic in computer science 4 Treffer
- coq proof assistant 4 Treffer
- diophantine equations 4 Treffer
- fos: computer and information sciences 4 Treffer
- fractran 4 Treffer
- jar 4 Treffer
- logic in computer science (cs.lo) 4 Treffer
- sequent calculi 4 Treffer
- term rewriting systems 4 Treffer
- types 4 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 3 Treffer
- [info.info-si]computer science [cs]/social and information networks [cs.si] 3 Treffer
- 01 natural sciences 3 Treffer
- 020207 software engineering 3 Treffer
- acm: d.: software/d.3: programming languages/d.3.2: language classifications 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 3 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 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.3: logic and constraint programming 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 3 Treffer
Verlag
- hal ccsd 78 Treffer
- springer verlag 11 Treffer
- acm 4 Treffer
- logical methods in computer science association 4 Treffer
- world scientific 4 Treffer
-
8 weitere Werte:
- acm sigplan 2 Treffer
- elsevier 2 Treffer
- arxiv 1 Treffer
- cambridge university press (cup) 1 Treffer
- episciences.org 1 Treffer
- lipics - leibniz international proceedings in informatics. 6th international conference on formal structures for computation and deduction (fscd 2021) 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
Publikation
Sprache
Geographischer Bezug
86 Treffer
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
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: The Coq Workshop 2022 ; https://hal.science/hal-03756335 ; The Coq Workshop 2022, Aug 2022, Haifa, Israel, 2022Online KonferenzZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359508 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
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: 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: Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020Online KonferenzZugriff:
-
In: https://hal.inria.fr/hal-03359505 ; 2021, 2021Online reportZugriff:
-
In: Interactive Theorem Proving. ITP 2017. Lecture Notes in Computer Science ; Interactive Theorem Proving - 8th International Conference, 2017Online KonferenzZugriff:
-
2017Online unknownZugriff:
-
In: https://hal.inria.fr/hal-03359508 ; 2021, 2021reportZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) ; https://inria.hal.science/hal-01379683 ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Delia Kesner and Brigitte Pientka, Jun 2016, Porto, Portugal. pp.1 - 17, ⟨10.4230/LIPIcs.FSCD.2016.26⟩, 2016Online KonferenzZugriff:
-
In: https://theses.hal.science/tel-02470728 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS594⟩, 2019Online HochschulschriftZugriff: