MPI-INF RG1 Publications: Part of a Book - Weidenbach Combining Superposition, Sorts and Splitting

Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband

Show entries of:

this year (2013) | last year (2012) | two years ago (2011) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Weidenbach, Christoph

dblp

Editor(s):

Robinson, Alan
Voronkov, Andrei

dblp
dblp

BibTeX cite key*:

Weidenbach2001handbook

Title, Booktitle

Title*:	Combining Superposition, Sorts and Splitting
Booktitle*:	Handbook of Automated Reasoning
Chapter:	27
Series:
Language:	English

Publisher

Name*:	Elsevier	URL:	http://www.elsevier.com/
Address*:	Amsterdam, the Netherlands	Publication Type:

Vol, No, pp., Year

Volume:	1	Number:
Edition:		Pages*:	1965-2013
Month:	January	VG Wort Pages:
ISBN:		Year*:	2001

Note:
LaTeX Abstract:
URL Abstract:
Tags, Keywords:
Copyright Message:
HyperLinks / References / URLs:
Personal Comments:
Download Access Level:

Correlation

MPG Unit:

MPG Subunit:
Audience:	experts only
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:

@INBOOK{Weidenbach2001handbook,
AUTHOR = {Weidenbach, Christoph},
EDITOR = {Robinson, Alan and Voronkov, Andrei},
TITLE = {Combining Superposition, Sorts and Splitting},
BOOKTITLE = {Handbook of Automated Reasoning},
PUBLISHER = {Elsevier},
YEAR = {2001},
VOLUME = {1},
CHAPTER = {27},
PAGES = {1965--2013},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {January},
}

Entry last modified by Uwe Brahm, 05/12/2006

Edit History (please click the blue arrow to see the details)