Werner Nutt

MaRDI QIDQ696965zbMATH OpenDBLPWikidataFDO

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
Unification in monoidal theories	2023-04-28	Paper
Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification Rewriting Techniques and Applications	2022-12-09	Paper
Query stability in monotonic data-aware business processes (available as arXiv preprint)	2017-07-14	Paper
Equivalences among aggregate queries with negation ACM Transactions on Computational Logic	2017-07-12	Paper
The complexity of existential quantification in concept languages. Artificial Intelligence	2010-08-27	Paper
Deciding equivalences among conjunctive aggregate queries Journal of the ACM	2008-12-21	Paper
Journal on Data Semantics II Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 1953127 (Why is no real title available?)	2003-07-25	Paper
Querying incomplete information in semistructured data Journal of Computer and System Sciences	2002-09-12	Paper
scientific article; zbMATH DE number 1487806 (Why is no real title available?)	2000-08-10	Paper
A refined architecture for terminological systems: Terminology = Schema + Views Artificial Intelligence	1998-08-13	Paper
An epistemic operator for description logics Artificial Intelligence	1998-08-13	Paper
Combination problems for commutative/monoidal theories or how algebra can help in equational unification Applicable Algebra in Engineering, Communication and Computing	1997-01-06	Paper
On the expressivity of feature logics with negation, functional uncertainty, and sort equations Journal of Logic, Language and Information	1994-03-10	Paper
scientific article; zbMATH DE number 140381 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 67502 (Why is no real title available?)	1992-09-27	Paper
The unification hierarchy is undecidable Journal of Automated Reasoning	1992-06-27	Paper
Basic narrowing revisited Journal of Symbolic Computation	1989-01-01	Paper

Research outcomes over time

This page was built for person: Werner Nutt