المؤلفون: Bleak, Collin Patrick

المساهمون: Jonoska, Nataša, Savchuk, Dmytro

المصدر: Bleak , C P 2020 , On normalish subgroups of the R. Thompson groups . in N Jonoska & D Savchuk (eds) , Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings . Lecture Notes in Computer Science , vol. 12086 , Springer , pp. 29-42 , 24th International Conference on Developments in Language Theory (DLT) , Tampa , Florida , United States , 11/05/20 . https://doi.org/10.1007/978-3-030-48516-0_3Test

مصطلحات موضوعية: Thompson's group, Amenable, C*-simplicity, Regular language, Synchronizing automata, Group actions, Normalish sub-groups, Wreath product

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.1007/978-3-030-48516-0_3Test
https://doi.org/10.1007/978-3-030-48516-0Test
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/on-normalish-subgroups-of-the-r-thompson-groupsTest(19aef1e5-1239-4a18-b54b-e20940016d6f).html
https://research-repository.st-andrews.ac.uk/bitstream/10023/20020/1/Normalish_Accepted.pdfTest

المؤلفون: Ausaf, Fahad, Dyckhoff, Roy, Urban, Christian

المساهمون: Blanchette, Jasmine Christian, Merz, Stephan

المصدر: Ausaf , F , Dyckhoff , R & Urban , C 2016 , POSIX lexing with derivatives of regular expressions (proof pearl) . in J C Blanchette & S Merz (eds) , Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings . Lecture Notes in Computer Science , vol. 9807 , Springer , pp. 69-86 , ITP 2016: Interactive Theorem Proving , Nancy , France , 22/08/16 . https://doi.org/10.1007/978-3-319-43144-4_5Test

مصطلحات موضوعية: POSIX matching, Derivatives of regular expressions, Isabelle/HOL

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.1007/978-3-319-43144-4_5Test
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/posix-lexing-with-derivatives-ofTest-regular-expressions-proof-pearl(1c6a22ab-6956-4699-8525-e15b0a70a056).html
https://research-repository.st-andrews.ac.uk/bitstream/10023/9472/1/Ausaf_2016_POSIX_ITP2016_AAM.pdfTest