Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 3 Treffer
- computer.programming_language 2 Treffer
- core (graph theory) 2 Treffer
- f.3.2 2 Treffer
- mathematical proof 2 Treffer
-
36 weitere Werte:
- semantics (computer science) 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- abstract interpretation 1 Treffer
- agda 1 Treffer
- certification 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- dependency (uml) 1 Treffer
- development (topology) 1 Treffer
- divergence (computer science) 1 Treffer
- f.1.2 1 Treffer
- f.3.1 1 Treffer
- intuitionistic type theory 1 Treffer
- iterative and incremental development 1 Treffer
- media_common 1 Treffer
- media_common.quotation_subject 1 Treffer
- nesting (computing) 1 Treffer
- operational semantics 1 Treffer
- predicate logic 1 Treffer
- racket 1 Treffer
- reusability 1 Treffer
- scheme (programming language) 1 Treffer
- simple (abstract algebra) 1 Treffer
- software security assurance 1 Treffer
- source code 1 Treffer
- term (time) 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- trace (psycholinguistics) 1 Treffer
- type theory 1 Treffer
Sprache
4 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 129 (2013-09-01), S. 360-383Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 32 (2010-08-01), S. 57-75Online unknownZugriff: