Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- abstract interpretation 1 Treffer
- artificial intelligence 1 Treffer
- automated proof checking 1 Treffer
-
34 weitere Werte:
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- code (cryptography) 1 Treffer
- combinatory logic 1 Treffer
- computation theory & mathematics 1 Treffer
- computer science(all) 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
- interval arithmetic 1 Treffer
- logical frameworks 1 Treffer
- metatheory 1 Treffer
- object language 1 Treffer
- poplmark challenge 1 Treffer
- program analysis 1 Treffer
- program logic 1 Treffer
- proof-carrying code 1 Treffer
- recursion 1 Treffer
- representation (systemics) 1 Treffer
- rewriting 1 Treffer
- structure (mathematical logic) 1 Treffer
- system f 1 Treffer
- term (logic) 1 Treffer
- theorem proving 1 Treffer
- type checking 1 Treffer
- type theory 1 Treffer
3 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: