Dušan Guller

Available identifiers

zbMath Open guller.dusanMaRDI QIDQ835102

List of research outcomes

Publication	Date of Publication	Type
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
Erratum to ``Binary resolution over Boolean lattices	2006-11-15	Paper
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dušan Guller