Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- type theory 8 Treffer
- computer 6 Treffer
- computer.software_genre 6 Treffer
- software 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
-
45 weitere Werte:
- calculus 5 Treffer
- programming language 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- correctness 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- 16. peace & justice 3 Treffer
- proof assistant 3 Treffer
- safety, risk, reliability and quality 3 Treffer
- artificial intelligence 2 Treffer
- computer science::programming languages 2 Treffer
- computer.programming_language 2 Treffer
- coq 2 Treffer
- data abstraction 2 Treffer
- decidability 2 Treffer
- equivalence (formal languages) 2 Treffer
- equivalence (measure theory) 2 Treffer
- extensionality 2 Treffer
- formal specification 2 Treffer
- lambda calculus 2 Treffer
- logical relations 2 Treffer
- mathematical proof 2 Treffer
- modulo 2 Treffer
- operational semantics 2 Treffer
- parametric polymorphism 2 Treffer
- semantics (computer science) 2 Treffer
- syntax (programming languages) 2 Treffer
- [ info.info-pl ] computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- abstraction (mathematics) 1 Treffer
- axiom 1 Treffer
- bisimulation 1 Treffer
- calculus of constructions 1 Treffer
- class (set theory) 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- compiler correctness 1 Treffer
- compilers 1 Treffer
- computational theory and mathematics 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science - programming languages 1 Treffer
- consistency (knowledge bases) 1 Treffer
- control and systems engineering 1 Treffer
- control structures 1 Treffer
Verlag
Publikation
Sprache
10 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 2, S. 1-29Online unknownZugriff:
-
2020Online unknownZugriff:
-
2019Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017), S. 100-113Online unknownZugriff:
-
In: Programming Languages and Systems, 2018Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2, S. 1-33Online unknownZugriff:
-
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017Online unknownZugriff: