The following pages link to M. Teresa Hortalá-González (Q1110498):
Displayed 8 items.
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- (Q2726286) (← links)
- (Q2766766) (← links)
- A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Schem (Q2873802) (← links)
- (Q4202938) (← links)
- (Q4283239) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)