Search alternatives:
"and computational solution computing program" » "and computational simulation computing program" (Expand search), "and computational evaluation computing program" (Expand search), "and computational simulations computing program" (Expand search), "and computational evolution computing program" (Expand search), "and computational solution consulting program" (Expand search), "and computational solution combustion program" (Expand search), "and computational solution computer program" (Expand search), "and computational solution computador program" (Expand search), "_ computational solution computing program" (Expand search)
"based computation in computing program" » "based computational in computing program" (Expand search), "based competition in computing program" (Expand search), "based compilation in computing program" (Expand search), "based computation in consulting program" (Expand search), "based computation in computer program" (Expand search), "based computation in computador program" (Expand search), "based computation and computing program" (Expand search), "based computation of computing program" (Expand search), "based imputation in computing program" (Expand search), "based computation _ computing program" (Expand search)
"and computational solution computing program" » "and computational simulation computing program" (Expand search), "and computational evaluation computing program" (Expand search), "and computational simulations computing program" (Expand search), "and computational evolution computing program" (Expand search), "and computational solution consulting program" (Expand search), "and computational solution combustion program" (Expand search), "and computational solution computer program" (Expand search), "and computational solution computador program" (Expand search), "_ computational solution computing program" (Expand search)
"based computation in computing program" » "based computational in computing program" (Expand search), "based competition in computing program" (Expand search), "based compilation in computing program" (Expand search), "based computation in consulting program" (Expand search), "based computation in computer program" (Expand search), "based computation in computador program" (Expand search), "based computation and computing program" (Expand search), "based computation of computing program" (Expand search), "based imputation in computing program" (Expand search), "based 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