Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


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):

Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica

dblp
dblp



Editor(s):

Becker, Bernd
Damm, Werner Martin
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

dblp
dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

Becker, Bernd
Damm, Werner Martin
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

BibTeX Citekey*:

Rybalchenko-Sofronie-Stokkermans-2009

Language:

English

Title, Institution

Title*:

Constraint Solving for Interpolation

Institution*:

SFB/TR 14 AVACS

Publishers or Institutions Address*:

SFB/TR 14 AVACS

Type:

Technical Report

No, Year, pp.,

Number*:

ATR 56

Pages*:

26

Month:

September

VG Wort
Pages*:


Year*:

2009

ISBN/ISSN:






DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:


Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:
@TECHREPORT{Rybalchenko-Sofronie-Stokkermans-2009,
AUTHOR = {Rybalchenko, Andrey and Sofronie-Stokkermans, Viorica},
EDITOR = {Becker, Bernd and Damm, Werner Martin and Fr{\"a}nzle, Martin and Olderog, Ernst-R{\"u}diger and Podelski, Andreas and Wilhelm, Reinhard},
TITLE = {Constraint Solving for Interpolation},
YEAR = {2009},
TYPE = {Technical Report},
INSTITUTION = {SFB/TR 14 AVACS},
NUMBER = {ATR 56},
PAGES = {26},
ADDRESS = {SFB/TR 14 AVACS},
MONTH = {September},
}


Entry last modified by Anja Becker, 03/15/2011
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
10/15/2009 03:44:30 PM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans

Edit Dates
15.03.2011 09:57:13
25.03.2010 12:52:01
10/15/2009 03:44:30 PM

Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section