Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 22 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 22 Treffer
- computer science::logic in computer science 21 Treffer
- 01 natural sciences 15 Treffer
- 0102 computer and information sciences 15 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 15 Treffer
- computer science - programming languages 15 Treffer
- programming languages (cs.pl) 15 Treffer
- computer science 14 Treffer
- 02 engineering and technology 13 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 13 Treffer
- computer 12 Treffer
- 020207 software engineering 9 Treffer
- proof assistant 9 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- algebra 7 Treffer
- computer.software_genre 7 Treffer
- programming language 7 Treffer
- computer.programming_language 6 Treffer
- software 6 Treffer
- soundness 6 Treffer
- theoretical computer science 6 Treffer
- mathematical proof 5 Treffer
- mathematics 5 Treffer
- semantics (computer science) 5 Treffer
- automated theorem proving 4 Treffer
- coinduction 4 Treffer
- computational theory and mathematics 4 Treffer
- correctness 4 Treffer
- lcsh:electronic computers. computer science 4 Treffer
- lcsh:qa75.5-76.95 4 Treffer
- syntax (programming languages) 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020204 information systems 3 Treffer
- 16. peace & justice 3 Treffer
- abstract syntax 3 Treffer
- artificial intelligence 3 Treffer
- bisimulation 3 Treffer
- calculus 3 Treffer
- computer science::mathematical software 3 Treffer
- computingmilieux_miscellaneous 3 Treffer
- d.2.4 3 Treffer
- f.3.1 3 Treffer
- f.3.2 3 Treffer
- fos: mathematics 3 Treffer
- general computer science 3 Treffer
- intuitionistic type theory 3 Treffer
- lambda calculus 3 Treffer
- lcsh:mathematics 3 Treffer
- lcsh:qa1-939 3 Treffer
Verlag
Publikation
Sprache
32 Treffer
-
2013Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 55-70Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff: