Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming languages 5 Treffer
- coq 4 Treffer
- metatheory 4 Treffer
- mathematical analysis 3 Treffer
- mathematical proofs 3 Treffer
-
45 weitere Werte:
- formal specifications 2 Treffer
- formal verification 2 Treffer
- intersection theory 2 Treffer
- intuitionistic mathematics 2 Treffer
- logic 2 Treffer
- mathematical functions 2 Treffer
- mathematical logic 2 Treffer
- mathematical models 2 Treffer
- semantics 2 Treffer
- ad hoc computer networks 1 Treffer
- algebra 1 Treffer
- algebraic functions 1 Treffer
- algorithms 1 Treffer
- android 1 Treffer
- android (operating system) 1 Treffer
- aspect-oriented programming 1 Treffer
- automation 1 Treffer
- axioms 1 Treffer
- banach spaces 1 Treffer
- binary number system 1 Treffer
- bisimulation 1 Treffer
- calculi 1 Treffer
- complexity 1 Treffer
- computational complexity 1 Treffer
- computer security 1 Treffer
- conditionals (logic) 1 Treffer
- contextual equivalence 1 Treffer
- convex geometry 1 Treffer
- convex hull 1 Treffer
- coq system 1 Treffer
- cost model 1 Treffer
- cut elimination 1 Treffer
- cut-elimination 1 Treffer
- data analysis 1 Treffer
- data visualization 1 Treffer
- dependent types 1 Treffer
- euler formula 1 Treffer
- evidence 1 Treffer
- first-order logic 1 Treffer
- focusing 1 Treffer
- formal proof 1 Treffer
- formal specification 1 Treffer
- generalization 1 Treffer
- genus 1 Treffer
- gradual typing 1 Treffer
Verlag
Publikation
Sprache
20 Treffer
-
In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 175-213Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 33 (2023), S. 1-55academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2021), Heft 1, S. 75-124Online academicJournalZugriff:
-
In: Computational Geometry, Jg. 45 (2012-10-01), Heft 8, S. 436-457Online academicJournal
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233Online academicJournalZugriff:
-
In: Scientific Annals of Computer Science, Jg. 26 (2016), Heft 1, S. 27-68Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 312-340Online academicJournalZugriff:
-
In: Theoretical Computer Science, Jg. 403 (2008-08-28), Heft 2/3, S. 133-159Online academicJournal
-
In: Pattern Recognition, Jg. 40 (2007-11-01), Heft 11, S. 2974-2993academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 42 (2020), Heft 1, S. 1-79Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 15 (2019-04-01), Heft 2, S. 1-24Online academicJournalZugriff:
-
In: Acta Informatica, Jg. 50 (2013-12-01), Heft 7/8, S. 359-380Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 34 (2012-10-01), Heft 3, S. 12:1- (43S.)Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 121 (2012-07-01), Heft 1-4, S. 43-82Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 65 (2005-02-01), Heft 1-2, S. 61-86Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 29 (2019), S. 1-43Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 26 (2016-03-01), Heft 3, S. 465-509Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. N.PAGacademicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 17 (2007-05-01), Heft 3, S. 287-352academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 184 (2019-10-01), S. N.PAGOnline academicJournalZugriff: