Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 63 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 58 Treffer
- mathematical proof 50 Treffer
- proof assistant 47 Treffer
- 02 engineering and technology 45 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 44 Treffer
- 01 natural sciences 35 Treffer
- 0102 computer and information sciences 31 Treffer
- 010201 computation theory & mathematics 31 Treffer
- computer 31 Treffer
- 020207 software engineering 28 Treffer
- computer science::logic in computer science 22 Treffer
- software 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 21 Treffer
- type theory 21 Treffer
- soundness 20 Treffer
- computer.programming_language 18 Treffer
- 020201 artificial intelligence & image processing 17 Treffer
- automated theorem proving 15 Treffer
- computer.software_genre 15 Treffer
- coq 14 Treffer
- programming language 14 Treffer
- 020204 information systems 13 Treffer
- fos: computer and information sciences 13 Treffer
- theoretical computer science 13 Treffer
- computer science::programming languages 12 Treffer
- correctness 12 Treffer
- lambda calculus 12 Treffer
- calculus of constructions 11 Treffer
- algorithm 10 Treffer
- artificial intelligence 10 Treffer
- coinduction 10 Treffer
- computer science - logic in computer science 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- 0101 mathematics 9 Treffer
- decidability 9 Treffer
- formal verification 9 Treffer
- 010102 general mathematics 8 Treffer
- axiom 8 Treffer
- intuitionistic type theory 8 Treffer
- proof theory 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- 16. peace & justice 7 Treffer
- business 7 Treffer
- business.industry 7 Treffer
- general computer science 7 Treffer
- inductive type 7 Treffer
- natural deduction 7 Treffer
- semantics (computer science) 7 Treffer
- simple (abstract algebra) 7 Treffer
Verlag
- springer berlin heidelberg 24 Treffer
- hal ccsd 19 Treffer
- acm 12 Treffer
- ieee 12 Treffer
- association for computing machinery (acm) 8 Treffer
-
19 weitere Werte:
- springer international publishing 6 Treffer
- elsevier bv 4 Treffer
- cambridge university press (cup) 2 Treffer
- open publishing association 2 Treffer
- springer science and business media llc 2 Treffer
- arxiv 1 Treffer
- association for computing machinery 1 Treffer
- berlin : springer 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- easychair 1 Treffer
- elsevier b.v. 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- mdpi ag 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer 1 Treffer
- springer netherlands 1 Treffer
- springer verlag 1 Treffer
- springer-verlag 1 Treffer
- tk meganom llc 1 Treffer
Publikation
- journal of functional programming 3 Treffer
- proceedings of the acm on programming languages 3 Treffer
- acm sigplan notices 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
-
30 weitere Werte:
- 2009 international conference of the chilean computer science society, chilean computer science society (sccc), 2009 international conference of the 1 Treffer
- 2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on 1 Treffer
- 2019 chinese automation congress (cac) 1 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- 2020 ieee international conference on advances in electrical engineering and computer applications( aeeca), advances in electrical engineering and computer applications( aeeca), 2020 ieee international conference on 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2021 36th annual acm/ieee symposium on 1 Treffer
- 2023 9th international conference on computer and communications (iccc), computer and communications (iccc), 2023 9th international conference on 1 Treffer
- 2023 china automation congress (cac), automation congress (cac), 2023 china 1 Treffer
- acm sigapp applied computing review 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- entcs: electronic notes in theoretical computer science 1 Treffer
- epic series in computing 1 Treffer
- formal aspects of computing 1 Treffer
- ieee access 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of quantum information science 1 Treffer
- journal of the acm 1 Treffer
- journal of the brazilian computer society 1 Treffer
- logical methods in computer science 1 Treffer
- mathematical structures in computer science 1 Treffer
- mathematics 1 Treffer
- paradigm of knowledge 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- proceedings of the institute for system programming of the ras 1 Treffer
- proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- programming languages and systems 1 Treffer
- science of computer programming 1 Treffer
- theoretical computer science 1 Treffer
Sprache
115 Treffer
-
In: Electronic Notes in Theoretical Computer Science, Jg. 348 (2020-03-01), S. 61-83Online unknownZugriff:
-
In: Proceedings of the Institute for System Programming of the RAS, Jg. 32 (2020), S. 107-124Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Journal of the ACM, Jg. 66 (2019-04-24), S. 1-35Online unknownZugriff:
-
In: ACM SIGAPP Applied Computing Review, Jg. 18 (2019-01-15), S. 47-60Online unknownZugriff:
-
In: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020-05-01Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. 102655-102655Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-27Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 325 (2016-10-01), S. 221-236Online unknownZugriff:
-
In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018-09-03Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018-04-09Online unknownZugriff:
-
In: Programming Languages and Systems, 2018Online unknownZugriff:
-
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017-09-29Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 50 (2015-01-14), S. 623-636Online unknownZugriff: