-
1مؤتمر
المؤلفون: Cotumaccio, Nicola
مصطلحات موضوعية: Generalized Automata, Myhill-Nerode Theorem, Regular Languages, Wheeler Graphs, FM-index, Burrows-Wheeler Transform, Theory of computation → Regular languages, Theory of computation → Pattern matching, Theory of computation → Data compression
وصف الملف: application/pdf
العلاقة: https://dx.doi.org/10.4230/LIPIcs.STACS.2024Test; https://dx.doi.org/10.1109/DCC52660.2022.00013Test; https://dx.doi.org/10.1137/1.9781611975994.55Test; https://dx.doi.org/10.1016/j.ic.2021.104820Test; https://dx.doi.org/10.1006/jagm.1999.1063Test; https://dx.doi.org/10.1007/s11047-022-09882-6Test; https://dx.doi.org/10.1089/cmb.2012.0021Test; https://dx.doi.org/10.4230/LIPIcs.ESA.2023.15Test; https://dx.doi.org/10.1109/DCC55655.2023.00023Test; https://dx.doi.org/10.1109/DCC52660.2022.00035Test; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2023.22Test; https://dx.doi.org/10.1145/3607471Test; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.55Test; https://dx.doi.org/10.1145/3588334Test; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2021.20Test; https://dx.doi.org/10.1007/s00453-022-01007-wTest
-
2مؤتمر
المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng
المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)
المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]
العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest
الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest -
3مؤتمر
المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng
المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)
المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]
العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest
الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest -
4دورية أكاديمية
المؤلفون: Feier, Cristina, Gogacz, Tomasz, Murlak, Filip
المساهمون: Cristina Feier and Tomasz Gogacz and Filip Murlak
مصطلحات موضوعية: conjunctive two-way regular path queries, fixed-parameter tractable evaluation, semantic treewidth, Datalog encoding, optimization
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 290, 27th International Conference on Database Theory (ICDT 2024); urn:nbn:de:0030-drops-198048; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2024.22Test
الإتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2024.22Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-198048Test -
5دورية أكاديمية
المؤلفون: Ganardi, Moses, Sağlam, Irmak, Zetzsche, Georg
المساهمون: Moses Ganardi and Irmak Sağlam and Georg Zetzsche
مصطلحات موضوعية: Subword, ideal, language, regular, context-free, equivalence, downward closure, compression
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197465; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.36Test
الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.36Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197465Test -
6دورية أكاديمية
المؤلفون: Arvind, V., Fuhlbrück, Frank, Köbler, Johannes, Verbitsky, Oleg
المساهمون: V. Arvind and Frank Fuhlbrück and Johannes Köbler and Oleg Verbitsky
مصطلحات موضوعية: Graph Isomorphism, spectra of graphs, combinatorial refinement, strongly regular graphs
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197166; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.6Test
الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.6Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197166Test -
7دورية أكاديمية
المؤلفون: Cotumaccio, Nicola
المساهمون: Nicola Cotumaccio
مصطلحات موضوعية: Generalized Automata, Myhill-Nerode Theorem, Regular Languages, Wheeler Graphs, FM-index, Burrows-Wheeler Transform
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197369; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.26Test
الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.26Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197369Test -
8دورية أكاديمية
المؤلفون: Place, Thomas, Zeitoun, Marc
المساهمون: Thomas Place and Marc Zeitoun
مصطلحات موضوعية: Classes of regular languages, Generalized unary temporal logic, Generalized two-variable first-order logic, Generic decidable characterizations, Membership, Separation
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196888; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.45Test
الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.45Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196888Test -
9دورية أكاديمية
المؤلفون: Chattopadhyay, Eshan, Liao, Jyun-Jie
المساهمون: Eshan Chattopadhyay and Jyun-Jie Liao
مصطلحات موضوعية: read-once branching program, regular branching program, weighted pseudorandom generator, derandomization
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 287, 15th Innovations in Theoretical Computer Science Conference (ITCS 2024); urn:nbn:de:0030-drops-195571; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2024.29Test
الإتاحة: https://doi.org/10.4230/LIPIcs.ITCS.2024.29Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-195571Test -
10مؤتمر
المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng
المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)
المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]
العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest
الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest