Person:696965

Available identifiers

zbMath Open nutt.wernerDBLPn/WernerNuttWikidataQ51903108 ScholiaQ51903108MaRDI QIDQ696965

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Werner Nutt