Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 3 Treffer
- theory of computation 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- computer.programming_language 2 Treffer
-
31 weitere Werte:
- correctness 2 Treffer
- functional programming 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- acl2 1 Treffer
- bytecode 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
- code (cryptography) 1 Treffer
- code generation 1 Treffer
- computer.file_format 1 Treffer
- concurrency 1 Treffer
- denotational semantics 1 Treffer
- direct proof 1 Treffer
- discrete event simulation 1 Treffer
- executable 1 Treffer
- java 1 Treffer
- java bytecode 1 Treffer
- mathematical proof 1 Treffer
- modularity 1 Treffer
- program analysis 1 Treffer
- program derivation 1 Treffer
- proof complexity 1 Treffer
- security analysis 1 Treffer
- security of systems 1 Treffer
- semantics (computer science) 1 Treffer
- simple (abstract algebra) 1 Treffer
- software_programminglanguages 1 Treffer
- structural proof theory 1 Treffer
- unification 1 Treffer
Verlag
Sprache
4 Treffer
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 32 (2020-07-01), S. 275-314Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007), Heft 2, S. 191-203Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), S. 484-517Online unknownZugriff: