S. Sánchez
From MaRDI portal
Person:2450650
Available identifiers
zbMath Open sanchez.sixtoMaRDI QIDQ2450650
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Simplifying inductive schemes in temporal logic | 2023-02-03 | Paper |
Discrete-Time Queueing System with Expulsions | 2015-01-21 | Paper |
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques | 2014-05-14 | Paper |
Discrete-Time Queueing System with Expulsions | 2013-11-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3413353 | 2007-01-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3158046 | 2005-01-20 | 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: S. Sánchez