Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- computer science - programming languages 3 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
-
45 weitere Werte:
- programming languages (cs.pl) 3 Treffer
- proof assistant 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- 020204 information systems 2 Treffer
- bisimulation 2 Treffer
- coinduction 2 Treffer
- computer 2 Treffer
- computer.programming_language 2 Treffer
- lambda calculus 2 Treffer
- software 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- 020207 software engineering 1 Treffer
- abstract interpretation 1 Treffer
- algorithm 1 Treffer
- axiom 1 Treffer
- calculus of constructions 1 Treffer
- certification 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science applications 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- congruence 1 Treffer
- context (language use) 1 Treffer
- coq 1 Treffer
- correctness 1 Treffer
- decision procedures 1 Treffer
- discrete mathematics 1 Treffer
- equivalence (formal languages) 1 Treffer
- equivalence (measure theory) 1 Treffer
- extensional definition 1 Treffer
- f.3.2 1 Treffer
- f.4.1 1 Treffer
- general computer science 1 Treffer
- hardware_memorystructures 1 Treffer
- higher-order logic 1 Treffer
- hol 1 Treffer
- inductive type 1 Treffer
- lambda-calculus 1 Treffer
- lcsh:electronic computers. computer science 1 Treffer
- lcsh:mathematics 1 Treffer
- lcsh:qa1-939 1 Treffer
- lcsh:qa75.5-76.95 1 Treffer
- logic 1 Treffer
Verlag
Sprache
5 Treffer
-
2009Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff: