Search alternatives:
"based computational solution computing program" » "based computational simulation computing program" (Expand search), "based computational evaluation computing program" (Expand search), "based computational simulations computing program" (Expand search), "and computational solution computing program" (Expand search), "by computational solution computing program" (Expand search), "based computational evolution computing program" (Expand search), "based computational solution consulting program" (Expand search), "based computational solution combustion program" (Expand search), "based computational solution computer program" (Expand search), "based computational solution computador program" (Expand search)
"by computation in computing program" » "by computation in consulting program" (Expand search), "by computation in computer program" (Expand search), "by computation in computador program" (Expand search), "by computational in computing program" (Expand search), "of computation in computing program" (Expand search), "_ computation in computing program" (Expand search), "by computation and computing program" (Expand search), "by computation of computing program" (Expand search), "by imputation in computing program" (Expand search), "by computation _ computing program" (Expand search)
"based computational solution computing program" » "based computational simulation computing program" (Expand search), "based computational evaluation computing program" (Expand search), "based computational simulations computing program" (Expand search), "and computational solution computing program" (Expand search), "by computational solution computing program" (Expand search), "based computational evolution computing program" (Expand search), "based computational solution consulting program" (Expand search), "based computational solution combustion program" (Expand search), "based computational solution computer program" (Expand search), "based computational solution computador program" (Expand search)
"by computation in computing program" » "by computation in consulting program" (Expand search), "by computation in computer program" (Expand search), "by computation in computador program" (Expand search), "by computational in computing program" (Expand search), "of computation in computing program" (Expand search), "_ computation in computing program" (Expand search), "by computation and computing program" (Expand search), "by computation of computing program" (Expand search), "by imputation in computing program" (Expand search), "by computation _ computing program" (Expand search)
1
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis
2