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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Hillenbrand, Thomas
Weidenbach, Christoph

dblp
dblp



Editor(s):

Bonacina, Maria Paola
Stickel, Mark

dblp
dblp

Not MPII Editor(s):

Bonacina, Maria Paola
Stickel, Mark

BibTeX cite key*:

HillenbrandWeidenbach13

Title, Booktitle

Title*:

Superposition for Bounded Domains

Booktitle*:

Automated Reasoning and Mathematics, Essays in Memory of William W. McCune

Chapter:


Series:

Lecture Notes in Computer Science

Language:

English

Publisher

Name*:

Springer

URL:


Address*:

Heidelberg

Publication Type:


Vol, No, pp., Year

Volume:

7788

Number:


Edition:


Pages*:

68-100

Month:


VG Wort Pages:


ISBN:


Year*:

2013

Abstract, Links, ©

Note:


LaTeX Abstract:


URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:

Internal

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort
BibTeX Entry:
@INBOOK{HillenbrandWeidenbach13,
AUTHOR = {Hillenbrand, Thomas and Weidenbach, Christoph},
EDITOR = {Bonacina, Maria Paola and Stickel, Mark},
TITLE = {Superposition for Bounded Domains},
BOOKTITLE = {Automated Reasoning and Mathematics, Essays in Memory of William W. McCune},
PUBLISHER = {Springer},
YEAR = {2013},
VOLUME = {7788},
PAGES = {68--100},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Heidelberg},
}


Entry last modified by Uwe Waldmann, 03/26/2014
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
02/25/2013 09:25:49 PM
Revision
0.



Editor
Uwe Waldmann



Edit Date
25.02.2013 21:25:49