Search alternatives:
and computations » and computation (Expand search), and computational (Expand search), and competitions (Expand search)
computations in » computation in (Expand search), computation of (Expand search), computation and (Expand search)
smart program » sport program (Expand search), art program (Expand search), restart program (Expand search)
coding pitons » loading pistons (Expand search)
using coding » using coping (Expand search), using coating (Expand search), using cooking (Expand search)
in smart » in small (Expand search)
and computations » and computation (Expand search), and computational (Expand search), and competitions (Expand search)
computations in » computation in (Expand search), computation of (Expand search), computation and (Expand search)
smart program » sport program (Expand search), art program (Expand search), restart program (Expand search)
coding pitons » loading pistons (Expand search)
using coding » using coping (Expand search), using coating (Expand search), using cooking (Expand search)
in smart » in small (Expand search)
1
“...Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about...”
Access document
Access document
Article
2
“...The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto...”
Access document
Access document