Constraint Solving for Interpolation

Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica

Local TagsRelease HistoryDetailsSummary

Constraint Solving for Interpolation

Rybalchenko, A., & Sofronie-Stokkermans, V.(2009). Constraint Solving for Interpolation (Local-ID: C125716C0050FB51-7BE33255DCBCF2AAC1257650004B7C65-Rybalchenko-Sofronie-Stokkermans-2009).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A4A-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BB84-E

Genre: Report

Files

show Files

Locators

show

Creators

show

hide

Creators:
Rybalchenko, Andrey, Author
Sofronie-Stokkermans, Viorica¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2009-10-15Date issued: 2009

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 521091
Other: Local-ID: C125716C0050FB51-7BE33255DCBCF2AAC1257650004B7C65-Rybalchenko-Sofronie-Stokkermans-2009

Degree: -

Event

show

Legal Case

show

Project information

show

Source

show