Slika na naslovnici

Some undecidability Results for non-monadic church-rosser thue systems.

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	OTTO, Friedrich
Format:	Knjiga
Jezik:	angleščina
Izdano:	Kaiserslautern 1984
Serija:	Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern 98
Oznake:	Označite Brez oznak, prvi označite!
Order eBook:
Order Book:	Login to order

Slika na naslovnici

On Deciding whether a monoid is a free monoid or is a group. od Otto, Friedrich

Izdano 1985

Knjiga

Slika na naslovnici

On two Problems related to cancellativity. od Otto, Friedrich

Izdano 1985

Knjiga

Slika na naslovnici

Finite complete Rewriting Systems and the complexity of the word problem od Otto, Friedrich

Izdano 1984

Knjiga

Slika na naslovnici

Groups presented by finite two-monadic Church-Rosser Thue systems od OTTO, Friedrich

Izdano 1984

Knjiga

Slika na naslovnici

Pseudo natural Algorithms for decision problems in certain types of string-rewriting systems od OTTO, Friedrich

Izdano 1984

Knjiga

Slika na naslovnici

On finitely generated non-finite Presentations of groups and monoids od Otto, Friedrich

Izdano 1983

Knjiga

Slika na naslovnici

On the Quality of pseudo-natural algorithms for the word problem od Otto, Friedrich

Izdano 1983

Knjiga

Slika na naslovnici

Encoding complexities in decision problems of finitely presented combinatorial systems. od Otto, Friedrich

Izdano 1982

Knjiga

Slika na naslovnici

Finitely generated derivation bounded Presentation of groups od OTTO, Friedrich

Izdano 1982

Knjiga

Slika na naslovnici

Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten. od Otto, Friedrich

Izdano 1982

Knjiga

Slika na naslovnici

Regular Language over countably infinite Alphabets. od Otto, Friedrich

Izdano 1981

Knjiga

Slika na naslovnici

Das Unterseeboot im Kampfe od Otto, Friedrich

Izdano 1915

Knjiga

Slika na naslovnici

Die fliegenden Pioniere Sieben Kriegsnovellen von gepanzerten Menschen und Maschinen od OTTO, Friedrich

Izdano 1915

Knjiga

Slika na naslovnici

Theobald Bacher, ein elsässischer Diplomat im Dienste Frankreichs. 1748-1813. Teil 1 od Otto, Friedrich

Izdano 1907

Knjiga

Slika na naslovnici

Bemerkungen über den Einfluss der Umdrehung der Artillerie-Geschosse auf ihre Bahn 2. Fortsetzung, Abt. 1 od Otto, Friedrich

Izdano 1843-47

Knjiga

Slika na naslovnici

Derivation-bounded Groups od OTTO, Friedrich

Knjiga