Person:1193839

Available identifiers

zbMath Open weigert.thomas-jMaRDI QIDQ1193839

List of research outcomes

Publication	Date of Publication	Type
Systems specification by basic protocols	2006-10-20	Paper
Basic protocols, message sequence charts, and the verification of requirements specifications	2005-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4450993	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4840654	1996-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4867197	1996-02-28	Paper
Fuzzy operator logic and fuzzy resolution	1994-12-01	Paper
Reasoning under uncertainty in fuzzy operator logic	1993-01-16	Paper
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic	1992-09-27	Paper
\(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic	1991-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: Thomas J. Weigert