Zum Inhalt springen

Avenhaus, J. [Verfasser:in] ; Madlener, K. [Sonstige Person, Familie und Körperschaft]

An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1979

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 1600
Avenhaus, J. [Verfasser:in]; Madlener, K. [Verfasser:in]

Polynomial algorithms for problems in free groups based on Nielsen type arguments

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1980

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 3100
Avenhaus, J. [Verfasser:in]; Madlener, K. [Verfasser:in]

Polynomial time algorithms for the Nielsen reduction and related problems in free groups

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1980

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 3000
Canty, M. J. [Verfasser:in]; Avenhaus, R. [Verfasser:in]

The impact of unmeasured process inventories on near real time accountancy

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Forschungszentrum Jülich GmbH Zentralbibliothek, Verlag, 1993

Erschienen in: Jülich : Forschungszentrum Jülich GmbH Zentralbibliothek, Verlag, Berichte des Forschungszentrums Jülich 2772, 29 p. (1993).
Avenhaus, R. [Verfasser:in]; Canty, M. J. [Verfasser:in]

Game theoretical analysis of safeguards effectiveness 3 : equilibrium solutions

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kernforschungsanlage Jülich GmbH Zentralbibliothek, Verlag, 1989

Erschienen in: Jülich : Kernforschungsanlage Jülich GmbH Zentralbibliothek, Verlag, Spezielle Berichte der Kernforschungsanlage Jülich 541, 24 S. (1989).
Avenhaus, R. [Verfasser:in]; Golly, W. [Verfasser:in]; Krueger, F. J. [Verfasser:in]

Kernmaterialbilanzierung und Datenverifikation in der Brennelementfabrikationsanlage der Reaktor-Brennelement Union Hanau

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 1999-01-25
Avenhaus, R. [Verfasser:in]; Beedgen, R. [Verfasser:in]; Goeres, H. J. [Verfasser:in]

Sampling for the verification of materials balances

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 1999-01-25
Rothenstein, D. [Verfasser:in]; Canty, M. J. [Verfasser:in]; Avenhaus, R. [Verfasser:in]

Timely inspection and deterrence

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Forschungszentrum Jülich, Zentralbibliothek, Verlag, 1998

Erschienen in: Jülich : Forschungszentrum Jülich, Zentralbibliothek, Verlag, Berichte des Forschungszentrums Jülich 3603, II, 54 p. (1998).
Avenhaus, R. [Verfasser:in]; Fenyi, S. [Verfasser:in]; Jakubick, A. T. [Verfasser:in]; Ludewig, J. [Verfasser:in]

Analyse der Migrationspfade von Plutonium in einem terrestrischen Oekosystem

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 1999-01-25
Halbe, J. [Verfasser:in]; Reusser, D. [Verfasser:in]; Holtz, G. [Verfasser:in]; Haasnoot, M. [Verfasser:in]; Stosius, A. [Verfasser:in]; Avenhaus, W. [Verfasser:in]; Kwakkel, J. [Verfasser:in]

Lessons for model use in transition research: A survey and comparison with other research areas

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Publication Database PIK (Potsdam Institute for Climate Impact Research), 2015

Erschienen in: Environmental Innovation and Societal Transitions
Avenhaus, J.

Lecture Notes in Computer Science: Proving equational and inductive theorems by completion and embedding techniques

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1991

Erschienen in: Lecture Notes in Computer Science (1991), Seite 361-373
Avenhaus, J.

Ein Verfahren zur Einschließung der Lösung des Anfangswertproblems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1971

Erschienen in: Computing, 8 (1971) 1-2, Seite 182-190
Avenhaus, J.; Denzinger, J.

Lecture Notes in Computer Science: Distributing equational theorem proving

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1993

Erschienen in: Lecture Notes in Computer Science (1993), Seite 62-76
Avenhaus, J.; Denzinger, J.

Lecture Notes in Computer Science: Distributing equational theorem proving

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1993

Erschienen in: Lecture Notes in Computer Science (1993), Seite 62-76
Avenhaus, J.; Becker, K

A Framework for Operational Equational Specifications with Pre-defined Structures

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1999

Erschienen in: Journal of Symbolic Computation, 27 (1999) 3, Seite 271-310
Avenhaus, J.; Madlener, K.

Theorembeweisen in hierarchischen bedingten Spezifikationen

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1996

Erschienen in: Informatik - Forschung und Entwicklung, 11 (1996) 2, Seite 53-60
Avenhaus, J.; Madlener, K.

The Nielsen reduction and P-complete problems in free groups

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1984

Erschienen in: Theoretical Computer Science, 32 (1984) 1-2, Seite 61-76
Avenhaus, J.; Madlener, K.

On the complexity of intersection and conjugacy problems in free groups

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1984

Erschienen in: Theoretical Computer Science, 32 (1984) 3, Seite 279-295
Avenhaus, J.; Madlener, K.

Lecture Notes in Computer Science: The nielsen reduction as key problem to polynomial algorithms in free groups

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1982

Erschienen in: Lecture Notes in Computer Science (1982), Seite 49-56
Avenhaus, J.; Madlener, K.

An algorithm for the word problem in $HNN$ extensions and the dependence of its complexity on the group representation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 1981

Erschienen in: RAIRO. Informatique théorique, 15 (1981) 4, Seite 355-371

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr