| Publication | Date of Publication | Type |
|---|
Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Automated synthesis of recursive programs from a \(\forall\exists\) logical specification
Journal of Automated Reasoning | 1999-03-09 | Paper |
scientific article; zbMATH DE number 3766258 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3697593 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3765236 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3787354 (Why is no real title available?)
| 1981-01-01 | Paper |
Spectre D'Un hamiltonien quantique et mecanique classique
Communications in Partial Differential Equations | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3703223 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3663682 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3616828 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3640373 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3716060 (Why is no real title available?)
| 1977-01-01 | Paper |
Reflection of \(C^\infty\) singularities for a class of operators with multiple characteristics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3529176 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3515960 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3474208 (Why is no real title available?)
| 1975-01-01 | Paper |
Formule de Poisson pour les variétés riemanniennes
Inventiones Mathematicae | 1974-01-01 | Paper |
Opérateurs hyperboliques à caractéristiques de multiplicité constante
Annales de l’institut Fourier | 1974-01-01 | Paper |
Propagation des singularités pour une classe d'opérateurs à caractéristiques multiples et resolubilité locale
Annales de l’institut Fourier | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3455770 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3475913 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3454230 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3399767 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3424865 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3426125 (Why is no real title available?)
| 1973-01-01 | Paper |
Caractérisation des problèmes mixtes hyperboliques bien posés. (Characterization of well posed hyperbolic mixed problems)
Annales de l’institut Fourier | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3391366 (Why is no real title available?)
| 1972-01-01 | Paper |
Problèmes de Cauchy abstraits et applications à quelques problèmes mixtes
Journal of Functional Analysis | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3370871 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3352156 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3367434 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3384615 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3274940 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3260269 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3246671 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3260268 (Why is no real title available?)
| 1968-01-01 | Paper |
