Reasoning on Data Words over Numeric Domains-Reference-Cited by-同舟云学术

Reasoning on Data Words over Numeric Domains

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Figueira Diego¹,Lin Anthony Widjaja²

Affiliation:

1. Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, France

2. Max-Planck Institute for Software Systems, TU Kaiserslautern, Germany

Funder

European Research Council

Agence Nationale de la Recherche

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533354

Reference46 articles.

1. Eric Allender and Klaus W. Wagner. 1993. Counting Hierarchies: Polynomial Time and Constant Depth Circuits. In Current Trends in Theoretical Computer Science - Essays and Tutorials Grzegorz Rozenberg and Arto Salomaa (Eds.). World Scientific Series in Computer Science Vol. 40. World Scientific 469-483. https://doi.org/10.1142/9789812794499_0035 10.1142/9789812794499_0035

2. Eric Allender and Klaus W. Wagner. 1993. Counting Hierarchies: Polynomial Time and Constant Depth Circuits. In Current Trends in Theoretical Computer Science - Essays and Tutorials Grzegorz Rozenberg and Arto Salomaa (Eds.). World Scientific Series in Computer Science Vol. 40. World Scientific 469-483. https://doi.org/10.1142/9789812794499_0035

3. Streaming transducers for algorithmic verification of single-pass list-processing programs

4. Streaming transducers for algorithmic verification of single-pass list-processing programs

5. Michael Benedikt , Clemens Ley , and Gabriele Puppis . 2010 . What You Must Remember When Processing Data Words . In Proceedings of the Alberto Mendelzon International Workshop on Foundations of Data Management (AMW)(CEUR Workshop Proceedings, Vol. 619) , Alberto H. F. Laender and Laks V. S. Lakshmanan (Eds.). CEUR-WS.org. http://ceur-ws.org/Vol-619/paper11.pdf Michael Benedikt, Clemens Ley, and Gabriele Puppis. 2010. What You Must Remember When Processing Data Words. In Proceedings of the Alberto Mendelzon International Workshop on Foundations of Data Management (AMW)(CEUR Workshop Proceedings, Vol. 619), Alberto H. F. Laender and Laks V. S. Lakshmanan (Eds.). CEUR-WS.org. http://ceur-ws.org/Vol-619/paper11.pdf

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05

2. Decision Procedures for Sequence Theories;Computer Aided Verification;2023