( en | de | ru )

 

Disambiguation of "Avenhaus, Jürgen"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification and Verification of Equationally Defined Functional Programs with UNICOM

, and . Sichere Software, Hüthig, Heidelberg, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jürgen Avenhaus

Heinrich Avenhaus

Heinrich Avenhaus

Ernst Avenhaus

Heinrich Avenhaus

 

Other publications of authors with the same name

Operational Specifications with Built-Ins., and . STACS, volume 775 of Lecture Notes in Computer Science, page 263-274. Springer, (1994)The Nielsen Reduction and P-Complete Problems in Free Groups., and . Theor. Comput. Sci., (1984)Theorem Proving in Hierarchical Causal Specifications., and . Advances in Algorithms, Languages, and Complexity, page 1-51. Kluwer, (1997)Efficient Algorithms for Computing Modulo Permutation Theories.. IJCAR, volume 3097 of Lecture Notes in Computer Science, page 415-429. Springer, (2004)On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids., , and . RAIRO Theor. Informatics Appl., 18 (1): 47-52 (1984)Formal Specification and Verification of Equationally Defined Functional Programs with UNICOM, and . Sichere Software, Hüthig, Heidelberg, (1990)Theorembeweisen in hierarchischen bedingten Spezifikationen., and . Inform. Forsch. Entwickl., 11 (2): 53-60 (1996)Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups., and . ISSAC, page 322-337. ACM, (1989)En\En-1-entscheidbare Gruppen., and . Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 42-51. Springer, (1975)A Framework for Operational Equational Specifications with Pre-defined Structures., and . J. Symb. Comput., 27 (3): 271-310 (1999)