Elmar Eder

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
Backward reasoning in systems with cut	2024-06-21	Paper
scientific article; zbMATH DE number 1748575 (Why is no real title available?)	2002-11-13	Paper
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution Journal of the ACM	1998-02-17	Paper
scientific article; zbMATH DE number 67453 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 48763 (Why is no real title available?)	1992-09-17	Paper
scientific article; zbMATH DE number 4209640 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4094863 (Why is no real title available?)	1987-01-01	Paper
Properties of substitutions and unifications Journal of Symbolic Computation	1985-01-01	Paper
The functional differential equation \(x'(t)=x(x(t))\) Journal of Differential Equations	1984-01-01	Paper
Eine Methode zur Ermittlung von vollständigen Lösungen des plastizitätstheoretischen Grundgleichungssystems ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik	1983-01-01	Paper
scientific article; zbMATH DE number 3858458 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3816163 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3816163 (Why is no real title available?)	1983-01-01	Paper
On the question of the existence of a canonically defined distance function for metrics with indefinite signature on a given manifold General Relativity and Gravitation	1980-01-01	Paper
Approximationen für die vollständigen elliptischen Normal-integrale erster, zweiter und dritter Gattung ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik	1979-01-01	Paper
Verallgemeinerungen der Rellichschen Abschätzung und eines Satzes von E. Wienholtz ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik	1974-01-01	Paper
Eine einfache Approximation für das vollständige elliptische Normalintegral erster und zweiter Gattung ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik	1974-01-01	Paper

Research outcomes over time

This page was built for person: Elmar Eder