Значок книги

On the Quality of pseudo-natural algorithms for the word problem.

Сохранить в:

Библиографические подробности
Главный автор:	Madlener, Klaus
Другие авторы:	Otto, Friedrich
Формат:	‌
Язык:	английский
Опубликовано:	Kaiserslautern 1983
Серии:	Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern 90
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!
Order eBook:
Order Book:	Login to order

Значок книги

Groups presented by finite two-monadic Church-Rosser Thue systems по Madlener, Klaus

Опубликовано 1984

‌

Значок книги

Pseudo natural Algorithms for decision problems in certain types of string-rewriting systems. по Madlener, Klaus

Опубликовано 1984

‌

Значок книги

On finitely generated non-finite Presentations of groups and monoids по Madlener, Klaus

Опубликовано 1983

‌

Значок книги

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

Опубликовано 1983

‌

Значок книги

Encoding complexities in decision problems of finitely presented combinatorial systems. по Madlener, Klaus

Опубликовано 1982

‌

Значок книги

Finitely generated derivation bounded Presentation of groups по Madlener, Klaus

Опубликовано 1982

‌

Значок книги

Derivation-bounded Groups по Madlener, Klaus

Опубликовано 1981

‌

Значок книги

Eine E-Frattini-Einbettung in eine einfach Untergruppe einer endlich dargestellten Gruppe по Madlener, Klaus

Опубликовано 1980

‌

Значок книги

String Matching and algorithmic problems in free groups по Madlener, Klaus

Опубликовано 1979

‌

Значок книги

P-complete Problems in free groups по Madlener, Klaus

‌

Значок книги

Polynomial Time-Algorithms for the Nielsen reduction and related problems in free groups по Madlener, Klaus

‌