José M. Cañete-Valdeón

From MaRDI portal
Person:963447

Available identifiers

zbMath Open canete-valdeon.jose-mMaRDI QIDQ963447

List of research outcomes





PublicationDate of PublicationType
Synthesis of positive logic programs for checking a class of definitions with infinite quantification2016-07-07Paper
Clarifying the semantics of value in use cases through Jackson's problem frames2010-04-19Paper
On the interpretation of mathematical entities in the formalisation of programming and modelling languages2008-12-10Paper

Research outcomes over time

This page was built for person: José M. Cañete-Valdeón

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:963447&oldid=11979643"
Powered by MediaWiki