Hans-Jürgen Bürckert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7680806 (Why is no real title available?)	2023-04-28	Paper
A resolution principle for a logic with restricted quantifiers Lecture Notes in Computer Science	2002-05-22	Paper
On Skolemization in constrained logics Annals of Mathematics and Artificial Intelligence	1998-05-17	Paper
Reasoning about temporal relations Journal of the ACM	1998-02-02	Paper
scientific article; zbMATH DE number 847979 (Why is no real title available?)	1996-03-19	Paper
On solving equations and disequations Journal of the ACM	1995-05-14	Paper
A resolution principle for constrained logics Artificial Intelligence	1994-06-15	Paper
On the expressivity of feature logics with negation, functional uncertainty, and sort equations Journal of Logic, Language and Information	1994-03-10	Paper
Matching - a special case of unification? Journal of Symbolic Computation	1989-01-01	Paper
On equational theories, unification, and (un)decidability Journal of Symbolic Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4089518 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4041328 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4049128 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3986672 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

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