Search CORE

24 research outputs found

Die Staatsumschuldung

Author: Benninghofen Jens
Publication venue
Publication date: 15/08/2014
Field of study

Heidelberger Dokumentenserver

Completion and Its Applications

Author: Ackermann
Bachmair
Bachmair
Benninghofen
Birkhoff
Boyer
Burstall
Butler
Chang
Curry
Davis
Dershowitz
Dershowitz
Dershowitz
Dershowitz
Dershowitz
Evans
Fages
Ganzinger
Gnaedig
Goguen
Guttag
Hogger
Hsiang
Huet
Huet
Huet
Huet
Hullot
Jouannaud
Kaplan
Kaplan
Kaplan
Kapur
Kapur
Kapur
Kapur
Klop
Knuth
Lankford
Lankford
Lankford
Lankford
LeChenadec
Lescanne
Livesey
Manna
Manna
Metivier
Nelson
Newman
Padawitz
Paul
Paul
Peterson
Peterson
Plaisted
Plaisted
Robinson
Siekmann
Slagle
Stickel
Stone
Takeuti
Watts
Zhegalkin
Publication venue: 'Elsevier BV'
Publication date: 01/01/1989
Field of study

Open problems in rewriting

Infinitesimalien und Superinfinitesimalien

Author: Benninghofen Benjamin
Publication venue
Publication date: 01/01/1982
Field of study

A general theory of superinfinitesimals

Author: Benninghofen Benjamin
Richter Michael
Publication venue: Polska Akademia Nauk. Instytut Matematyczny PAN
Publication date: 01/01/1987
Field of study

Biblioteka Nauki - repozytorium artykuÅÃ³w

On the Generation of Topology by External Equivalence-Relations

Author: B Benninghofen
H Jarchow
M Reeken
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1995
Field of study

Klinische Erfahrungen mit dem ARGUS II System in Deutschland

Author: Bastian A
Benninghofen M
Schimitzek H
Walter P
Publication venue: German Medical Science GMS Publishing House; Düsseldorf
Publication date: 16/06/2016
Field of study

German Medical Science

Analysis with Ultrasmall Numbers

Author: Benninghofen B.
Benninghofen B.
Gordon E. I.
Hrbacek K.
Karel Hrbacek
Keisler H. J.
O'Donovan R.
Olivier Lessmann
Richard O’Donovan
Stroyan K. D.
Vopěnka P.
Publication venue: 'Mathematical Association of America'
Publication date: 01/01/2010
Field of study

The use of Knuth-Bendix methods to solve the wordproblem in automatic groups

Author: Aho
Benninghofen
Cannon
Cannon
D.B.A. Epstein
D.F. Holt
Gilman
Gromov
Hopcroft
Le Chenadec
Oilman
S.E. Rees
Publication venue: 'Elsevier BV'
Publication date
Field of study

On the Connection Between Affective Evaluation of Recollected Relationship Experiences and the Severity of the Psychic Impairment

Author: Annett Körner
Cornelia Albani
Dan Pokorny
Dieter Benninghofen
Gerd Blaser
Hermann Staats
Horst Kächele
Manfred Cierpka
Michael Geyer
Reiner Dahlbender
Publication venue: 'Informa UK Limited'
Publication date
Field of study

core

core