Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science(all) 3 Treffer
- computer.software_genre 3 Treffer
- programming language 3 Treffer
- proof assistant 3 Treffer
- abstract syntax 2 Treffer
-
45 weitere Werte:
- algebra 2 Treffer
- computer.programming_language 2 Treffer
- higher-order abstract syntax 2 Treffer
- lambda calculus 2 Treffer
- logical frameworks 2 Treffer
- mathematical proof 2 Treffer
- object language 2 Treffer
- syntax 2 Treffer
- typed lambda calculus 2 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
- 020207 software engineering 1 Treffer
- 16. peace & justice 1 Treffer
- abstract interpretation 1 Treffer
- artificial intelligence 1 Treffer
- automated proof checking 1 Treffer
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- combinatory logic 1 Treffer
- computation theory & mathematics 1 Treffer
- computational linguistics 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer security 1 Treffer
- data flow analysis 1 Treffer
- data-flow analysis 1 Treffer
- equivalence (formal languages) 1 Treffer
- equivalence (measure theory) 1 Treffer
- extensional definition 1 Treffer
- godel's incompleteness theorems 1 Treffer
- halting problem 1 Treffer
- hoas 1 Treffer
- host (network) 1 Treffer
- inductive type 1 Treffer
- interval arithmetic 1 Treffer
- logic programming 1 Treffer
- logical framework 1 Treffer
- metalanguage 1 Treffer
- metatheory 1 Treffer
Sprache
5 Treffer
-
In: Theoretical Computer Science, Jg. 606 (2015-11-01), S. 57-78Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 768 (2019-05-01), S. 76-90Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 364 (2006-11-01), S. 273-291Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 266 (2001-09-01), S. 1-57Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 253 (2001-02-01), S. 239-285Online unknownZugriff: