Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
- corr 118 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. 8 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
- sac 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
- sefm 3 Treffer
685 Treffer
-
In: FMBC@CAV, 2024, S. 1-14KonferenzZugriff:
-
In: SAC, 2024, S. 1684-1693KonferenzZugriff:
-
In: TAMC, 2024, S. 161-172KonferenzZugriff:
-
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/2404.12676 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2404.08163 (2024)academicJournalZugriff:
-
In: CoRR, Jg. abs/2404.05459 (2024)academicJournalZugriff:
-
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: