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
Piskac, Ruzica
Waldmann, Uwe
Weidenbach, Christoph

dblp
dblp
dblp
dblp

Not MPG Author(s):

Piskac, Ruzica

Editor(s):

Voronkov, Andrei
Weidenbach, Christoph

dblp
dblp

Not MPII Editor(s):

Voronkov, Andrei

BibTeX cite key*:

HillenbrandPiskacWaldmannWeidenbach2011

Title, Booktitle

Title*:

From Search to Computation: Redundancy Criteria and Simplification at Work

Booktitle*:

Programming Logics, Essays in Memory of Harald Ganzinger

Chapter:


Series:

Lecture Notes in Computer Science

Language:

English

Publisher

Name*:

Springer

URL:


Address*:

Berlin

Publication Type:


Vol, No, pp., Year

Volume:

7797

Number:


Edition:


Pages*:

?

Month:


VG Wort Pages:


ISBN:


Year*:

2013

Abstract, Links, ©

Note:


LaTeX Abstract:


URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:

noch nicht ersch. 15.03.12/ab, 07.03.13/ab

Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

popular

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort
BibTeX Entry:
@INBOOK{HillenbrandPiskacWaldmannWeidenbach2011,
AUTHOR = {Hillenbrand, Thomas and Piskac, Ruzica and Waldmann, Uwe and Weidenbach, Christoph},
EDITOR = {Voronkov, Andrei and Weidenbach, Christoph},
TITLE = {From Search to Computation: Redundancy Criteria and Simplification at Work},
BOOKTITLE = {Programming Logics, Essays in Memory of Harald Ganzinger},
PUBLISHER = {Springer},
YEAR = {2013},
VOLUME = {7797},
PAGES = {?},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Saarbr{\"u}cken, Germany},
}


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
03/22/2011 04:47:46 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Uwe Waldmann
Uwe Waldmann
Uwe Brahm
Uwe Waldmann
Uwe Waldmann
Edit Dates
11.03.2013 16:31:54
11.03.2013 16:28:45
11-03-2013 04:21:57 PM
11.03.2013 16:13:35
07.03.2013 13:41:32
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section