Elmar Eder

Available identifiers

Publication	Date of Publication	Type
Backward reasoning in systems with cut	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4530460	2002-11-13	Paper
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution	1998-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4012177	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3997615	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3357560	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3821627	1987-01-01	Paper
Properties of substitutions and unifications	1985-01-01	Paper
The functional differential equation \(x'(t)=x(x(t))\)	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326880	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3663696	1983-01-01	Paper
Eine Methode zur Ermittlung von vollständigen Lösungen des plastizitätstheoretischen Grundgleichungssystems	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	1980-01-01	Paper
Approximationen für die vollständigen elliptischen Normal-integrale erster, zweiter und dritter Gattung	1979-01-01	Paper
Verallgemeinerungen der Rellichschen Abschätzung und eines Satzes von E. Wienholtz	1974-01-01	Paper
Eine einfache Approximation für das vollständige elliptische Normalintegral erster und zweiter Gattung	1974-01-01	Paper

This page was built for person: Elmar Eder