| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 6622835 (Why is no real title available?) | 2016-09-02 | Paper |
Sound and complete SLD-resolution for bilattice-based annotated logic programs
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Properties of general semantic operators determined by logic-based systems
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Generalized ultrametrics, domains and an application to computational logic
Irish Mathematical Society Bulletin | 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
Electronic Notes in Theoretical Computer Science | 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
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Logic programs and connectionist networks
Journal of Applied Logic | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2086150 (Why is no real title available?) | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2077072 (Why is no real title available?) | 2004-07-01 | Paper |
Generalized metrics and uniquely determined logic programs.
Theoretical Computer Science | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1978322 (Why is no real title available?) | 2003-10-01 | Paper |
| scientific article; zbMATH DE number 1824109 (Why is no real title available?) | 2002-12-09 | Paper |
Dislocated topologies
Journal of Electrical Engineering | 2001-07-02 | Paper |
Uniqueness of the fixed points of single-step operators determined by Belnap's four-valued logic
Journal of Electrical Engineering | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1497821 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1498598 (Why is no real title available?) | 2000-09-25 | Paper |
| scientific article; zbMATH DE number 1453074 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1278791 (Why is no real title available?) | 1999-04-26 | Paper |
| scientific article; zbMATH DE number 1210491 (Why is no real title available?) | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 994051 (Why is no real title available?) | 1997-03-23 | Paper |
| scientific article; zbMATH DE number 810107 (Why is no real title available?) | 1996-02-13 | Paper |
| scientific article; zbMATH DE number 604877 (Why is no real title available?) | 1994-09-15 | Paper |
| scientific article; zbMATH DE number 559225 (Why is no real title available?) | 1994-04-28 | Paper |
| On the Continuity of Haar Measure on Topological Groupoids | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3964737 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3964737 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3918309 (Why is no real title available?) | 1984-01-01 | Paper |
| Integral Representation of Linear Functionals on Spaces of Sections | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3840648 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3840648 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3848044 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 3676219 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3676219 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3638497 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3607025 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3607025 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3608816 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3516039 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3510934 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3510934 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3489472 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3502109 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3431539 (Why is no real title available?) | 1974-01-01 | Paper |
