@ARTICLE{OhlbachWeidenbach95,
AUTHOR = {Ohlbach, Hans J{\"u}rgen and Weidenbach, Christoph},
TITLE = {A Note on Assumptions about Skolem Functions},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1995},
NUMBER = {2},
VOLUME = {15},
PAGES = {267--275},
ISBN = {0168-7433},
}
Entry last modified by Christoph Weidenbach, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Hans Jürgen Ohlbach | Created
02/06/1995 05:56:20 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Christoph Weidenbach
Uwe Brahm/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE | Edit Dates
14/04/99 15:39:53
20.03.96 17:28:11
02/16/96 03:54:58 PM
14/02/95 13:43:10
10/02/95 17:20:13 |