Zobrazeno 1 - 10
of 84
pro vyhledávání: '"Arnold, André"'
Publikováno v:
Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:8962
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. An algebra is said to be affine complete if every congruence preserving function is a polynomial function.
Externí odkaz:
http://arxiv.org/abs/2106.12846
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (November 4, 2021) dmtcs:6890
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet containing
Externí odkaz:
http://arxiv.org/abs/2011.03925
Autor:
Kamps, Thorsten, Abo-Bakr, Michael, Adelmann, Andreas, Andre, Kevin, Angal-Kalinin, Deepa, Armborst, Felix, Arnold, Andre, Arnold, Michaela, Amador, Raymond, Benson, Stephen, Choporova, Yulia, Drebot, Illya, Ernstdorfer, Ralph, Evtushenko, Pavel, Goldammer, Kathrin, Jankowiak, Andreas, Hofftstaetter, Georg, Hug, Florian, Hwang, Ji-Gwang, Jones, Lee, Kuehn, Julius, Knobloch, Jens, Kuske, Bettina, Lampe, Andre, Mistry, Sonal, Miyajima, Tsukasa, Neumann, Axel, Norvell, Nora, Petenev, Yuriy, Poeplau, Gisela, Qian, Houjon, Sakai, Hiroshi, Schwarzkopf, Olaf, Smedley, John, Tamachevich, Yegor, Thomas, Sebastian, Voelker, Jens, Volz, Paul, Wang, Erdong, Williams, Peter, Zahn, Daniela
The Energy Recovery Linac (ERL) paradigm offers the promise to generate intense electron beams of superior quality with extremely small six-dimensional phase space for many applications in the physical sciences, materials science, chemistry, health,
Externí odkaz:
http://arxiv.org/abs/1910.00881
Autor:
Arnold, André1 (AUTHOR) aa-labri@sfr.fr, Cégielski, Patrick2 (AUTHOR) cegielski@u-pec.fr, Guessarian, Irène3 (AUTHOR) ig@irif.fr, Avron, Arnon (AUTHOR), Dershowitz, Nachum (AUTHOR), Rabinovich, Alexander (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2022, Vol. 186 Issue 1-4, p27-44. 18p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Arnold, André
Th.--Sci. math.--Lille 1, 1977. N°: 372.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb36067822n
We consider nested fixed-point expressions like μ z. ν y. μ x. f(x,y,z) evaluated over a finite lattice, and ask how many queries to a function f are needed to find the value. The previous upper bounds for a monotone function f of arity d over the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0755caa1ca5a10b99fd15dfb60e1afed
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.