Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

Filter
Kapitel

Suchergebnisse

  • 2024

    2-Pointer Logic

    Seidl, H., Erhard, J., Schwarz, M. & Tilscher, S., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, S. 281-307 27 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14660 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 2023

    The Top-Down Solver—An Exercise in A2I

    Tilscher, S., Stade, Y., Schwarz, M., Vogler, R. & Seidl, H., 2023, Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH, S. 157-179 23 S. (Intelligent Systems Reference Library; Band 238).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    2 Zitate (Scopus)
  • 2020

    Incremental Abstract Interpretation

    Seidl, H., Erhard, J. & Vogler, R., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, S. 132-148 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12065 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    6 Zitate (Scopus)
  • 2016

    Equivalence - combinatorics, algebra, proofs

    Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 19 Apr. 2016, Dependable Software Systems Engineering. IOS Press, Band 45. S. 202-243 42 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 2012

    Type Checking of Tree Walking Transducers

    Maneth, S., Friese, S. & Seidl, H., 1 Jan. 2012, Modern Applications of Automata Theory. World Scientific Publishing Co., S. 3-43 41 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    1 Zitat (Scopus)
  • 2004

    A note on Karr's algorithm

    Müller-Olm, M. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1016-1028 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    64 Zitate (Scopus)

  • Counting in trees for free

    Seidl, H., Schwentick, T., Muscholl, A. & Habermehl, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1136-1149 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    66 Zitate (Scopus)

  • The Succinct Solver Suite

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (Hrsg.). Springer Verlag, S. 251-265 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2988).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    21 Zitate (Scopus)