Search alternatives:
"and computational in computation program" » "and computational in computational program" (Expand search), "and computational in computational programs" (Expand search), "and computational in compensation program" (Expand search), "_ computational in computation program" (Expand search), "and computational and computation program" (Expand search), "and computational _ computation program" (Expand search), "and computational 3d computation program" (Expand search), "and computational on computation program" (Expand search)
"based solutions in computing program" » "based solutions in consulting program" (Expand search), "based solutions in computer program" (Expand search), "based solutions in computador program" (Expand search), "based solutions _ computing program" (Expand search), "based solutions and computing program" (Expand search), "based solutions of computing program" (Expand search)
"and computational in computation program" » "and computational in computational program" (Expand search), "and computational in computational programs" (Expand search), "and computational in compensation program" (Expand search), "_ computational in computation program" (Expand search), "and computational and computation program" (Expand search), "and computational _ computation program" (Expand search), "and computational 3d computation program" (Expand search), "and computational on computation program" (Expand search)
"based solutions in computing program" » "based solutions in consulting program" (Expand search), "based solutions in computer program" (Expand search), "based solutions in computador program" (Expand search), "based solutions _ computing program" (Expand search), "based solutions and computing program" (Expand search), "based solutions of 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