Ulrich Löwen
From MaRDI portal
Person:915458
Available identifiers
zbMath Open lowen.ulrichMaRDI QIDQ915458
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Equivalence of propositional Prolog programs | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201760 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748901 | 1989-01-01 | Paper |
| Optimizing propositional calculus formulas with regard to questions of deducibility | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809766 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815283 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833597 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032237 | 1987-01-01 | Paper |
Research outcomes over time
This page was built for person: Ulrich Löwen
