Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoretical computer science 24 Treffer
- general computer science 22 Treffer
- 02 engineering and technology 21 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 21 Treffer
- proof assistant 21 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 21 Treffer
- 020207 software engineering 18 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 18 Treffer
- software 17 Treffer
- computer science(all) 16 Treffer
- 01 natural sciences 13 Treffer
- mathematical proof 11 Treffer
- 0102 computer and information sciences 9 Treffer
- 010201 computation theory & mathematics 9 Treffer
- 020204 information systems 9 Treffer
- computer science::programming languages 8 Treffer
- coq 8 Treffer
- business 7 Treffer
- business.industry 7 Treffer
- computer science::logic in computer science 7 Treffer
- automated theorem proving 6 Treffer
- computer.programming_language 6 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- correctness 5 Treffer
- extension (predicate logic) 5 Treffer
- type theory 5 Treffer
- code (cryptography) 4 Treffer
- formal proof 4 Treffer
- symbolic computation 4 Treffer
- axiom 3 Treffer
- calculus of constructions 3 Treffer
- compiler 3 Treffer
- data structure 3 Treffer
- formal methods 3 Treffer
- formal specification 3 Treffer
- logic 3 Treffer
- mathematics 3 Treffer
- metatheory 3 Treffer
- operational semantics 3 Treffer
- scripting language 3 Treffer
- semantics (computer science) 3 Treffer
- separation logic 3 Treffer
- simple (abstract algebra) 3 Treffer
- structure (mathematical logic) 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- [info]computer science [cs] 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 05 social sciences 2 Treffer
Publikation
Sprache
42 Treffer
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 90 (2017-08-01), S. 50-60Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 201 (2021), S. 102537-102537Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 199 (2008-02-01), S. 17-32Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 113 (2015-12-01), S. 285-301Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 187 (2020-02-01), S. 102371-102371Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 15 (1993-05-01), Heft 5-6, S. 607-640Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 344 (2019-08-01), S. 151-167Online unknownZugriff:
-
In: Journal of Systems and Software, Jg. 93 (2014-07-01), S. 42-68Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online unknownZugriff:
-
In: Procedia Computer Science, Jg. 1 (2010-05-01), Heft 1, S. 155-164Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 110 (2004-12-01), S. 169-172Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 174 (2007-05-01), Heft 2, S. 75-86Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 165 (2006-11-01), S. 121-132Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-01), S. 31-51Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 606 (2015-11-01), S. 57-78Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 212 (2008-04-01), S. 225-239Online unknownZugriff: