Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- mathematical proof 11 Treffer
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- computer science - logic in computer science 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 9 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- proof assistant 7 Treffer
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- soundness 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- 020207 software engineering 5 Treffer
- computer science - programming languages 5 Treffer
- programming languages (cs.pl) 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- 020204 information systems 4 Treffer
- computer 4 Treffer
- software 4 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- computer.programming_language 3 Treffer
- lcsh:electronic computers. computer science 3 Treffer
- lcsh:mathematics 3 Treffer
- lcsh:qa1-939 3 Treffer
- lcsh:qa75.5-76.95 3 Treffer
- theoretical computer science 3 Treffer
- type theory 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- artificial intelligence 2 Treffer
- bisimulation 2 Treffer
- coinduction 2 Treffer
- context (language use) 2 Treffer
- coq 2 Treffer
- correctness 2 Treffer
- equivalence (formal languages) 2 Treffer
- equivalence (measure theory) 2 Treffer
- f.4.1 2 Treffer
- general computer science 2 Treffer
- lambda calculus 2 Treffer
- proof assistants 2 Treffer
- simple (abstract algebra) 2 Treffer
- structure (mathematical logic) 2 Treffer
- type (model theory) 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 1 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 1 Treffer
Verlag
Publikation
- electronic proceedings in theoretical computer science 2 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
Sprache
13 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257Online unknownZugriff:
-
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020-05-01Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-27Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 4 (2008-09-15)Online unknownZugriff: