Loading [MathJax]/extensions/tex2jax.js

Parameterised Complexity of Abduction in Schaefer’s Framework

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autorschaft

Externe Organisationen

  • Universität Jönköping

Projekte

  1. Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration

    Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)

    1 Okt. 201331 Juli 2022

    Projekt: Forschung