GULP

swMATH1459MaRDI QIDQ14198

No author found.

Related Items (19)

\textsc{XtalOpt} version r9: an open-source evolutionary algorithm for crystal structure prediction ⋮ The General Utility Lattice Program (<scp>GULP</scp>) ⋮ Combining nonstably infinite theories ⋮ Answer set based design of knowledge systems ⋮ Strong order equivalence ⋮ Unnamed Item ⋮ A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ A new generic scheme for functional logic programming with constraints ⋮ Unnamed Item ⋮ \textsc{XtalOpt} version r10: an open-source evolutionary algorithm for crystal structure prediction ⋮ Logic Programming in Italy: A Historical Perspective ⋮ \texttt{XtalOpt}: an open-source evolutionary algorithm for crystal structure prediction ⋮ Unnamed Item ⋮ A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP ⋮ Advances in computational studies of energy materials ⋮ An anisotropic full Brillouin zone model for the three dimensional phonon Boltzmann transport equation ⋮ A novel atomistic approach to determine strain-gradient elasticity constants: tabulation and comparison for various metals, semiconductors, silica, polymers and the (ir)relevance for nanotechnologies ⋮ Integrating answer set programming and constraint logic programming ⋮ Unnamed Item

This page was built for software: GULP