| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3187787 | 2016-09-02 | Paper |
| Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs | 2015-03-23 | Paper |
| Properties of General Semantic Operators Determined by Logic-Based Systems | 2015-03-23 | Paper |
| Generalized ultrametrics, domains and an application to computational logic | 2014-01-21 | Paper |
| On the integration of connectionist and logic-based systems | 2013-12-04 | Paper |
| On the coincidence of semantics for uniquely determined programs | 2013-06-06 | Paper |
| Mathematical aspects of logic programming semantics. | 2011-02-16 | Paper |
| Continuity of semantic operators in logic programming and their approximation by artificial neural networks | 2010-03-03 | Paper |
| Logic programs and connectionist networks | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044232 | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470447 | 2004-07-01 | Paper |
| Generalized metrics and uniquely determined logic programs. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424942 | 2003-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153396 | 2002-12-09 | Paper |
| Dislocated topologies | 2001-07-02 | Paper |
| Uniqueness of the fixed points of single-step operators determined by Belnap's four-valued logic | 2001-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499241 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500930 | 2000-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955347 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239469 | 1999-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4213504 | 1998-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126163 | 1997-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853319 | 1996-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299854 | 1994-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289283 | 1994-04-28 | Paper |
| On the Continuity of Haar Measure on Topological Groupoids | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732350 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693483 | 1984-01-01 | Paper |
| Integral Representation of Linear Functionals on Spaces of Sections | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3311151 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317602 | 1983-01-01 | Paper |
| Banach Bundles of Continuous Functions and an Integral Representation Theorem | 1982-01-01 | Paper |
| Banach Bundles and a Theorem of J. M. G. Fell | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872703 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4199224 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4172505 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173972 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095356 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4090841 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4072021 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4084175 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5182862 | 1974-01-01 | Paper |
