Philippe Devienne
From MaRDI portal
Person:915430
Available identifiers
zbMath Open devienne.philippeMaRDI QIDQ915430
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 |
|---|---|---|
| Generalized definite set constraints | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944877 | 2000-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944863 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942617 | 2000-03-16 | Paper |
| Smallest horn clause programs | 1997-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281507 | 1994-10-19 | Paper |
| Weighted systems of equations | 1994-03-13 | Paper |
| Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742749 | 1986-01-01 | Paper |
Research outcomes over time
This page was built for person: Philippe Devienne