Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- higher-order abstract syntax 5 Treffer
- abstract syntax 4 Treffer
- computer.programming_language 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
-
45 weitere Werte:
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- 020207 software engineering 3 Treffer
- logical framework 3 Treffer
- proof assistant 3 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- data type 2 Treffer
- dependent types 2 Treffer
- hol 2 Treffer
- hybrid system 2 Treffer
- induction 2 Treffer
- lambda 2 Treffer
- logical frameworks 2 Treffer
- mathematical proof 2 Treffer
- predicate (grammar) 2 Treffer
- syntax 2 Treffer
- twelf 2 Treffer
- abstract type 1 Treffer
- algebra 1 Treffer
- algebraic data type 1 Treffer
- algorithm 1 Treffer
- association (object-oriented programming) 1 Treffer
- automated theorem proving 1 Treffer
- axiom 1 Treffer
- bisimulation 1 Treffer
- compilation 1 Treffer
- compiler 1 Treffer
- composite data type 1 Treffer
- computability 1 Treffer
- congruence (geometry) 1 Treffer
- decidability 1 Treffer
- deductive reasoning 1 Treffer
- dependent type 1 Treffer
- development (topology) 1 Treffer
- encoding (memory) 1 Treffer
- finitary 1 Treffer
- focus (linguistics) 1 Treffer
- functional programming 1 Treffer
- generalized algebraic data type 1 Treffer
- haskell 1 Treffer
- inductive reasoning 1 Treffer
Verlag
Sprache
8 Treffer
-
In: Electronic Notes in Theoretical Computer Science, Jg. 228 (2009), S. 113-120Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 125-142Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 3-16Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 85-93Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 228 (2009), S. 135-150Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 174 (2007-06-01), Heft 7, S. 23-39Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 70 (2002-12-01), Heft 2, S. 60-75Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 58 (2001-11-01), S. 37-58Online unknownZugriff: