José M. Cañete-Valdeón

Available identifiers

zbMath Open canete-valdeon.jose-mMaRDI QIDQ963447

List of research outcomes

Publication	Date of Publication	Type
Synthesis of positive logic programs for checking a class of definitions with infinite quantification	2016-07-07	Paper
Clarifying the semantics of value in use cases through Jackson's problem frames	2010-04-19	Paper
On the interpretation of mathematical entities in the formalisation of programming and modelling languages	2008-12-10	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: José M. Cañete-Valdeón