By Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
This e-book constitutes the refereed complaints of the ninth overseas Symposium on Frontiers of mixing platforms, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised complete papers awarded including four invited papers have been conscientiously reviewed and chosen from 33 submissions. FroCoS'13 seeks to supply a typical discussion board for examine within the basic quarter of mix, modularization and integration of structures, with emphasis on logic-based ones, and in their useful use. ordinary subject matters of curiosity comprise following matters: mixtures of logics comparable to mixed predicate, temporal, modal or epistemic logics, mixtures and modularity in ontologies, mix of determination, methods, of satisfiability, systems and of constraint fixing recommendations, combos and modularity in time period rewriting, integration of equational and different theories into deductive platforms, blend of deduction structures and machine algebra, integration of information buildings into constraint good judgment programming and deduction, and modularizing courses and specifications.