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 programs	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
Basic rewriting via logic programming, with an application to the reachability problem	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
Automated deduction for many-valued logics	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

This page was built for person: Gernot Salzer