| Publication | Date of Publication | Type |
|---|
| Mechanizable inductive proofs for a class of ∀ ∃ formulas | 2020-01-21 | Paper |
| Automated synthesis of recursive programs from a \(\forall\exists\) logical specification | 1999-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947998 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3891073 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947200 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3965014 | 1981-01-01 | Paper |
| Spectre D'Un hamiltonien quantique et mecanique classique | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895902 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861843 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4180682 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4200756 | 1979-01-01 | Paper |
| Reflection of \(C^\infty\) singularities for a class of operators with multiple characteristics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905645 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095283 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4107259 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4059320 | 1975-01-01 | Paper |
| Formule de Poisson pour les variétés riemanniennes | 1974-01-01 | Paper |
| Propagation des singularités pour une classe d'opérateurs à caractéristiques multiples et resolubilité locale | 1974-01-01 | Paper |
| Opérateurs hyperboliques à caractéristiques de multiplicité constante | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4042023 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4059843 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777809 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3215684 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5666941 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686696 | 1973-01-01 | Paper |
| Caractérisation des problèmes mixtes hyperboliques bien posés. (Characterization of well posed hyperbolic mixed problems) | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5660039 | 1972-01-01 | Paper |
| Problèmes de Cauchy abstraits et applications à quelques problèmes mixtes | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5627134 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5640078 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642959 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654502 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5558648 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534577 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546286 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546287 | 1968-01-01 | Paper |
