Filter
Chapter

Search results

  • 2016

    Basic notions

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 1-26 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Collapse for unambiguous automata

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Rangan, C. P., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 37-43 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Conclusions

    Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 205-206 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Descriptive complexity of MSO+U

    Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 159-171 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Index problems for game automata

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Introduction

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Rangan, C. P., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 29-36 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Recognition by thin algebras

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 121-135 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Separation for ωB- and ωS-regular Languages

    Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 183-203 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Undecidability of MSO+U

    Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 173-181 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Uniformization on thin trees

    Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 137-156 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • When a Büchi language is definable in WMSO

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 45-69 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • When a thin language is definable in WMSO

    Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Pandu Rangan, C., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G. & Skrzypczak, M., 6 Aug 2016, Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity. Springer Verlag, p. 93-119 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9802 LNCS).

    Weizmann Institute of Science

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review