Dušan Guller

Available identifiers

zbMath Open guller.dusanMaRDI QIDQ835102

List of research outcomes

Publication	Date of Publication	Type
A \textit{DPLL} procedure with dichotomous branching for propositional product logic	2025-01-16	Paper
Hyperresolution for Gödel logic with truth constants	2019-10-16	Paper
Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable	2018-11-29	Paper
Automated Deduction in Gödel Logic	2018-10-24	Paper
A Generalisation of the Hyperresolution Principle to First Order Gödel Logic	2016-11-08	Paper
On the refutational completeness of signed binary resolution and hyperresolution	2009-11-17	Paper
Binary resolution over complete residuated Stone lattices	2009-08-28	Paper
LATIN 2004: Theoretical Informatics	2009-05-07	Paper
Binary resolution over Boolean lattices	2006-11-15	Paper
Erratum to ``Binary resolution over Boolean lattices	2006-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4428304	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4783476	2002-12-04	Paper

Research outcomes over time

This page was built for person: Dušan Guller