Gernot Salzer

Available identifiers

zbMath Open salzer.gernotMaRDI QIDQ671654

List of research outcomes

Publication	Date of Publication	Type
MCP: capturing big data by satisfiability (tool description)	2022-03-22	Paper
Primal grammars and unification modulo a binary clause	2020-01-21	Paper
Minimal distance of propositional models	2019-09-05	Paper
MUltlog 1.0: Towards an expert system for many-valued logics	2019-01-15	Paper
Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices	2019-01-15	Paper
The Next Whisky Bar	2016-07-25	Paper
As Close as It Gets	2016-05-03	Paper
Give Me Another One!	2016-01-11	Paper
Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.	2013-04-19	Paper
The Helly property and satisfiability of Boolean formulas defined on set families	2010-04-27	Paper
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains	2009-06-22	Paper
A comparison of tools for teaching formal software verification	2009-05-27	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Complexity of clausal constraints over chains	2008-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q5446175	2008-03-06	Paper
Automated Reasoning	2007-09-25	Paper
Tree tuple languages from the logic programming point of view	2007-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4474833	2004-07-21	Paper
Optimal axiomatizations of finitely valued logics	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2751372	2002-09-05	Paper
Labeled calculi and finite-valued logics	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4255518	1999-08-16	Paper
A non-ground realization of the stable and well-founded semantics	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4885909	1996-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4282510	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q3976573	1992-06-26	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: Gernot Salzer