Werner Nutt

Available identifiers

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	2022-12-09	Paper
Query Stability in Monotonic Data-Aware Business Processes	2017-07-14	Paper
Equivalences among aggregate queries with negation	2017-07-12	Paper
The complexity of existential quantification in concept languages.	2010-08-27	Paper
Deciding equivalences among conjunctive aggregate queries	2008-12-21	Paper
Journal on Data Semantics II	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4414529	2003-07-25	Paper
Querying incomplete information in semistructured data	2002-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4494326	2000-08-10	Paper
A refined architecture for terminological systems: Terminology = Schema + Views	1998-08-13	Paper
An epistemic operator for description logics	1998-08-13	Paper
Combination problems for commutative/monoidal theories or how algebra can help in equational unification	1997-01-06	Paper
On the expressivity of feature logics with negation, functional uncertainty, and sort equations	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4028788	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4012243	1992-09-27	Paper
The unification hierarchy is undecidable	1992-06-27	Paper
Basic narrowing revisited	1989-01-01	Paper

This page was built for person: Werner Nutt