Вы здесь

Главная

Ganzinger H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Perfect Model Semantics for Logic Programs with Equality 1991 Bachmair L., Ganzinger H. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ Order-sorted completion: the many-sorted way 1991 Ganzinger H. Theoretical Computer Science 28.11.1991
СТ Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality 1993 Bachmair L., Ganzinger H., Waldmann U. Lecture Notes in Computer Science 21.09.1993
СТ Buchberger s Algorithm: A Constraint-Based Completion Procedure 1994 Bachmair L., Ganzinger H. Lecture Notes in Computer Science 01.10.1994
СТ Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings 1995 Bachmair L., Ganzinger H., Stuber J. Lecture Notes in Computer Science 24.05.1995
СТ Rigid Reachability 1998 Ganzinger H., Jacquemard F., Veanes M. Lecture Notes in Computer Science 18.12.1998
СТ Integrating Equational Reasoning into Instantiation-Based Theorem Proving 2004 Ganzinger H., Korovin K. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.12.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Rewriting Techniques and Applications: Proc./7th International Conference, RTA-96. New Brunswick,NJ,USA,July 1996 1996 Lecture Notes in Computer Science
  1. Ganzinger H.
 04.10.1996
СБ Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999 1999 Lecture Notes in Artificial Intelligence
  1. Ganzinger H.
  2. Mcallester D.
  3. Voronkov A.
 30.09.1999
СБ Automated Deduction - CADE-16: Proc./ 16th International Conference on Automated Deduction, Trento, Italy, July 1999 1999 Lecture Notes in Artificial Intelligence
  1. Ganzinger H.
 19.08.1999