A Scalable Inclusion Constraint Solver Using Unification

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

NullPointerException

View graph of relations

Original languageEnglish
TitleProceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation
Number of pages217
PublisherSpringer-Verlag
Publication date2007
Pages121-137
ISBN (print)978-3-540-78768-6
StatePublished

Conference

ConferenceA Scalable Inclusion Constraint Solver Using Unification
Period01/01/07 → …
NameLecture Notes in Computer Science
Number4915
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 3127832