1 - 20 out of 24Page size: 20
  1. 2024
  2. Published

    A computational framework based on the dynamic pipeline approach

    Pasarella, E., Vidal, M. E., Zoltan, C. & Royo Sales, J. P., Jun 2024, In: Journal of Logical and Algebraic Methods in Programming. 139, 21 p., 100966.

    Research output: Contribution to journal › Article › Research › peer review

  3. Published

    Leibniz on Bodies and Infinities: Rerum Natura and Mathematical Fictions

    Katz, M. G., Kuhlemann, K., Sherry, D. & Ugaglia, M., Mar 2024, In: Review of Symbolic Logic. 17, 1, p. 36-66 31 p.

    Research output: Contribution to journal › Article › Research › peer review

  4. 2023

  5. Putting Paradoxes to Work: Contextuality in Measurement-Based Quantum Computation

    Raussendorf, R., 2 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Springer Science and Business Media B.V., p. 595-622 28 p. (Outstanding Contributions to Logic; vol. 25).

    Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review

  6. Published

    Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework

    Mahmood, Y., Meier, A. & Schmidt, J., 10 May 2023, In: ACM Trans. Comput. Log.. 24, 3, p. 26:1-26:25 25 p., 26.

    Research output: Contribution to journal › Article › Research › peer review

  7. 2022
  8. Published

    A parameterized view on the complexity of dependence and independence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dec 2022, In: J. Log. Comput.. 32, 8, p. 1624-1644 21 p.

    Research output: Contribution to journal › Article › Research › peer review

  9. Published

    Enumerating teams in first-order team logics

    Haak, A., Meier, A., Müller, F. & Vollmer, H., Dec 2022, In: Annals of Pure and Applied Logic. 173, 10, 103163.

    Research output: Contribution to journal › Article › Research › peer review

  10. Published

    Adjoint maps between implicative semilattices and continuity of localic maps

    Erné, M., Picado, J. & Pultr, A., May 2022, In: Algebra universalis. 83, 2, 23 p., 13.

    Research output: Contribution to journal › Article › Research › peer review

  11. Published

    Nuclear ranges in implicative semilattices

    Erné, M., May 2022, In: Algebra universalis. 83, 2, 22 p., 18.

    Research output: Contribution to journal › Article › Research › peer review

  12. Published

    On Farkas' lemma and related propositions in BISH

    Berger, J. & Svindland, G., Feb 2022, In: Annals of pure and applied logic. 173, 2, 103059.

    Research output: Contribution to journal › Article › Research › peer review

  13. Published

    Submodel Enumeration of Kripke Structures in Modal Logic

    Fröhlich, N. & Meier, A., 2022, AiML. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). p. 391-406 16 p. (Advances in Modal Logic; vol. 14).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  14. 2021
  15. Published

    Parameterized complexity of abduction in Schaefer's framework

    Mahmood, Y., Meier, A. & Schmidt, J., Jan 2021, In: J. Log. Comput.. 31, 1, p. 266-296 31 p., 1.

    Research output: Contribution to journal › Article › Research › peer review

  16. 2020

  17. Analyzing Theories in the Frame Model

    Kornmesser, S. & Schurz, G., Dec 2020, In: Erkenntnis. 85, 6, p. 1313-1346 34 p.

    Research output: Contribution to journal › Article › Research › peer review

  18. Published

    Satisfiability of modal inclusion logic: Lax and strict semantics

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 10 Jan 2020, In: ACM Transactions on Computational Logic. 21, 1, p. 1-18 18 p., 7.

    Research output: Contribution to journal › Article › Research › peer review

  19. 2019
  20. Published

    A model-theoretic characterization of constant-depth arithmetic circuits

    Haak, A. & Vollmer, H., Sept 2019, In: Annals of Pure and Applied Logic. 170, 9, p. 1008-1029 22 p.

    Research output: Contribution to journal › Article › Research › peer review

  21. Published

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., Sept 2019, In: Journal of logic and computation. 29, 5, p. 605-630 26 p.

    Research output: Contribution to journal › Article › Research › peer review

  22. Convexity and unique minimum points

    Berger, J. & Svindland, G., 5 Feb 2019, In: Archive for mathematical logic. 58, 1-2, p. 27-34 8 p.

    Research output: Contribution to journal › Article › Research › peer review

  23. 2018

  24. Brouwer's fan theorem and convexity

    Berger, J. & Svindland, G., Dec 2018, In: Journal of Symbolic Logic. 83, 4, p. 1363-1375 13 p.

    Research output: Contribution to journal › Article › Research › peer review

  25. Published

    Complexity of propositional logics in team semantic

    Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan 2018, In: ACM Transactions on Computational Logic. 19, 1, p. 2:1-2:14 14 p., 2.

    Research output: Contribution to journal › Article › Research › peer review

  26. 2017
  27. Published

    Modal independence logic

    Kontinen, J., Müller, J. S., Schnoor, H. & Vollmer, H., Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1333-1352 20 p.

    Research output: Contribution to journal › Article › Research › peer review

  28. Published

    Parametrised complexity of satisfiability in temporal logic

    Luck, M., Meier, A. & Schindler, I., Jan 2017, In: ACM Transactions on Computational Logic. 18, 1, 1.

    Research output: Contribution to journal › Article › Research › peer review

Previous 1 2 Next