@ARTICLE{BachmairGanzingerWaldmann-94-aaecc,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald and Waldmann, Uwe},
TITLE = {Refutational Theorem Proving for Hierarchic First-Order Theories},
JOURNAL = {Applicable Algebra in Engineering, Communication and Computing (AAECC)},
PUBLISHER = {Springer},
YEAR = {1994},
NUMBER = {3/4},
VOLUME = {5},
PAGES = {193--212},
ADDRESS = {Berlin, Germany},
MONTH = {April},
ISBN = {0938-1287},
NOTE = {Earlier Version: Theorem Proving for Hierarchic First-Order Theories, in Giorgio Levi and H{\'e}l{\`e}ne Kirchner, editors, {\em Algebraic and Logic Programming, Third International Conference}, LNCS 632, pages 420--434, Volterra, Italy, September 2--4, 1992, Springer-Verlag},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Harald Ganzinger | Created
01/22/1995 02:33:04 PM |
Revisions
18.
17.
16.
15.
14. | Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
05.09.2001 16:35:42
28.08.2001 16:55:38
03/27/98 09:53:30 PM
03/27/98 09:49:11 PM
03/27/98 09:40:26 PM |