Komplexe neugierigeKomplexe neugierigeLogikmodelleerkunden.Modellchecking der inquisitiven LogikDie Herausforderungen beimLogik in der InformatikUntersuchung von neugieriger Logik und ModellprüfungEine Studie zur Modellüberprüfungs-Komplexität von inquisitiver Logik.2025-08-10T17:45:49+00:00 ― 7 min Lesedauer