The following pages link to P.-G. Holban (Q203307):
Displayed 9 items.
- (Q757346) (redirect page) (← links)
- Probabilities and reasoning about possibilities (Q757347) (← links)
- On guarded recursion (Q805246) (← links)
- Weakly expressive models for Hoare logic (Q805248) (← links)
- On the number of factors of Sturmian words (Q805261) (← links)
- A bridge between constructive logic and computer programming (Q1179711) (← links)
- Efficient checking of polynomials and proofs and the hardness of approximation problems (Q1906841) (← links)
- A set-theoretic approach to linguistic feature structures and unification algorithms. I. (Q5943627) (← links)
- A set-theoretic approach to linguistic feature structures and unification algorithms. II (Q5945769) (← links)