M. Teresa Hortalá-González

Available identifiers

zbMath Open hortala-gonzalez.maria-teresaMaRDI QIDQ1110498

List of research outcomes

Publication	Date of Publication	Type
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> Scheme	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2766766	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2726286	2001-07-31	Paper
An approach to declarative programming based on a rewriting logic	1999-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4283239	1994-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4202938	1993-09-06	Paper
Hoare's logic for nondeterministic regular programs: A nonstandard approach	1989-01-01	Paper
Some general incompleteness results for partial correctness logics	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. Teresa Hortalá-González