W. (Wolfgang) Poiger, PhD

Kurz, A., Poiger, W. & Teheux, B., 17-Jul-2024, In: Logical Methods in Computer Science. 20, 3, p. 6:1-6:32 32 p.

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

Poiger, W., Sept-2024, In: Algebra Universalis. 85, 4, 37.

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

Kurz, A., Poiger, W. & Teheux, B., Apr-2024, In: Journal of pure and applied algebra. 228, 4, 36 p., 107525.

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

Kurz, A. & Poiger, W., Sept-2023, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023. Baldan, P. & de Paiva, V. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 270).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Poiger, W. & Teheux, B., Apr-2023, In: Order. 40, 1, p. 99-125 27 p.

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