Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
- corr 115 Treffer
- itp 57 Treffer
- cpp 46 Treffer
- tphols 25 Treffer
- types 25 Treffer
-
45 weitere Werte:
- j. autom. reason. 19 Treffer
- proc. acm program. lang. 10 Treffer
- j. formaliz. reason. 9 Treffer
- sci. comput. program. 7 Treffer
- calculemus/mkm 6 Treffer
- cicm 6 Treffer
- fscd 6 Treffer
- j. funct. program. 6 Treffer
- jfla 6 Treffer
- log. methods comput. sci. 6 Treffer
- icfem 5 Treffer
- ieee access 5 Treffer
- lpar 5 Treffer
- ppdp 5 Treffer
- tase 5 Treffer
- aisc/mkm/calculemus 4 Treffer
- aplas 4 Treffer
- eurocast 4 Treffer
- flops 4 Treffer
- haskell 4 Treffer
- tech. sci. informatiques 4 Treffer
- theor. comput. sci. 4 Treffer
- tlca 4 Treffer
- asian 3 Treffer
- automated deduction in geometry 3 Treffer
- cav (2) 3 Treffer
- cicm workshops 3 Treffer
- csl 3 Treffer
- esop 3 Treffer
- fm 3 Treffer
- fm workshops (1) 3 Treffer
- from 3 Treffer
- ftfjp@ecoop 3 Treffer
- icfp 3 Treffer
- icse (companion volume) 3 Treffer
- ictac 3 Treffer
- ijcar (2) 3 Treffer
- j. log. algebraic methods program. 3 Treffer
- j. symb. comput. 3 Treffer
- math. comput. sci. 3 Treffer
- mpc 3 Treffer
- pxtp 3 Treffer
- rtss 3 Treffer
- sac 3 Treffer
- sefm 3 Treffer
678 Treffer
-
In: TACAS (1), 2024, S. 370-389KonferenzZugriff:
-
In: CPP, 2024, S. 230-245KonferenzZugriff:
-
In: CPP, 2024, S. 14-29KonferenzZugriff:
-
In: J. Circuits Syst. Comput., Jg. 33 (2024), Heft 6, S. 1-25academicJournalZugriff:
-
In: Proc. ACM Program. Lang., Jg. 8 (2024), Heft POPL, S. 1789-1818academicJournalZugriff:
-
In: CoRR, Jg. abs/2403.13700 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2403.12627 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2403.11919 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2403.18229 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2402.03488 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2401.11897 (2024)academicJournalZugriff:
-
In: NFM, 2023, S. 62-78KonferenzZugriff:
-
In: CPP, 2023, S. 290-302KonferenzZugriff:
-
In: CPP, 2023, S. 3-16KonferenzZugriff:
-
In: CPP, 2023, S. 167-181KonferenzZugriff:
-
In: OSDI, 2023, S. 851-869KonferenzZugriff:
-
In: FM, 2023, S. 39-55KonferenzZugriff:
-
In: APLAS, 2023, S. 182-202KonferenzZugriff:
-
In: VORTEX@ISSTA, 2023, S. 17-20KonferenzZugriff:
-
In: ICTAC, 2023, S. 139-157KonferenzZugriff: