Typing Linear Constraints for Moding CLP() Programs

You are here

TitleTyping Linear Constraints for Moding CLP() Programs
Publication TypeConference Paper
Year of Publication2008
AuthorsRuggieri, S, Mesnard, F
Conference NameSAS