Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Venhoek, D."'
Publikováno v:
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, pp. 493-512
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Nominal automata are models for recognising languages over infinite alphabets, based on the algebraic notion of nominal set. Motivated by their use in automata theory, we show how to compute efficiently with nominal sets over the so-called total orde
Kniha
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.