Gilberto Pérez

From MaRDI portal
Person:2851226

Available identifiers

zbMath Open perez.gilbertoMaRDI QIDQ2851226

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50205662022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q49992522021-07-06Paper
Verification for ASP denotational semantics: a case study using the PVS theorem prover2019-01-08Paper
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model2018-10-09Paper
Temporal Equilibrium Logic with past operators2018-09-12Paper
Temporal equilibrium logic: a survey2018-08-28Paper
Temporal logic programs with variables2017-11-09Paper
https://portal.mardi4nfdi.de/entity/Q53980672014-02-25Paper
Integrating Temporal Extensions of Answer Set Programming2013-10-10Paper
Loop Formulas for Splitable Temporal Logic Programs2011-05-26Paper
https://portal.mardi4nfdi.de/entity/Q34976232009-07-27Paper
Strongly Equivalent Temporal Logic Programs2008-10-27Paper

Research outcomes over time

This page was built for person: Gilberto Pérez

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