( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Specification and Verification of Equationally Defined Functional Programs with UNICOM

, и . 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.

Jürgen Avenhaus

Heinrich Avenhaus

Heinrich Avenhaus

Ernst Avenhaus

Heinrich Avenhaus

 

Другие публикации лиц с тем же именем

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