Hans-Jürgen Bürckert

Available identifiers

zbMath Open burckert.hans-jurgenMaRDI QIDQ582271

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6488530	2023-04-28	Paper
A resolution principle for a logic with restricted quantifiers	2002-05-22	Paper
On Skolemization in constrained logics	1998-05-17	Paper
Reasoning about temporal relations	1998-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4867026	1996-03-19	Paper
On solving equations and disequations	1995-05-14	Paper
A resolution principle for constrained logics	1994-06-15	Paper
On the expressivity of feature logics with negation, functional uncertainty, and sort equations	1994-03-10	Paper
Matching - a special case of unification?	1989-01-01	Paper
On equational theories, unification, and (un)decidability	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818292	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779785	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786017	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750143	1986-01-01	Paper

Research outcomes over time

This page was built for person: Hans-Jürgen Bürckert