Publication | Closed Access
Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)
124
Citations
0
References
2008
Year
Unknown Venue
Applied LogicComputational LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceLinear LogicIclp 2008Formal VerificationLogic DesignLogic ProgrammingInternational Conference
No additional data available for this publication yet. Check back later!