Showing 1 - 15 results of 15 for search '(("based computational one computation program") OR ("and computational and computation program"))~', query time: 1.81s Refine Results
4
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
6
Published 2002
... methods and computational approaches. The new software MIPSim (Molecular Interaction Potentials Similarity...
Access document
Article
11
Published 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Access document
Doctoral thesis
Export CSV Export RIS