Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Klaus
Last name:	Madlener
DBLP:	m/KlausMadlener
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 39  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Birgit Reinert, Klaus Madlener, Teo Mora. A Note on Nielsen Reduction and Coset Enumeration.	ISSAC 1998	(0)	1998
	Conference paper Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener. Automatic Monoids Versus Monoids with Finite Convergent Presentations.	Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings 1998	(0)	1998
	Conference paper Jürgen Avenhaus, Reinhard Gotzhein, Theo Härder, Lothar Litz, Klaus Madlener, Jürgen Nehmer, Michael M. Richter, Norbert Ritter, H. Dieter Rombach, Bernd Schürmann, Gerhard Zimmermann. Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501.	Inform., Forsch. Entwickl. 1998, Volume 13	(0)	1998
	Conference paper Klaus Madlener, Birgit Reinert. A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings.	J. Symb. Comput. 1998, Volume 25	(0)	1998
	Conference paper Klaus Madlener, Birgit Reinert. Relating Rewriting Techniques on Monoids and Rings: Congruences on Monoids and Ideals in Monoid Rings.	Theor. Comput. Sci. 1998, Volume 208	(0)	1998
	Conference paper Jürgen Avenhaus, Klaus Madlener. Theorem Proving in Hierarchical Causal Specifications.	Advances in Algorithms, Languages, and Complexity 1997	(0)	1997
	Conference paper Klaus Madlener, Birgit Reinert. A Generalization of Gröbner Basis Algorithms to Nilpotent Group Rings.	Appl. Algebra Eng. Commun. Comput. 1997, Volume 8	(0)	1997
	Conference paper Klaus Madlener, Friedrich Otto. Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet.	Fundam. Inform. 1997, Volume 30	(0)	1997
	Conference paper Klaus Madlener. Applications of Rewrite Techniques in Monoids and Rings (Abstract).	Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings 1996	(0)	1996
	Conference paper Jürgen Avenhaus, Klaus Madlener. Theorembeweisen in hierarchischen bedingten Spezifikationen.	Inform., Forsch. Entwickl. 1996, Volume 11	(0)	1996

Show item 1 to 10 of 39  

Your query returned 39 matches in the database.