I. Fortes

From MaRDI portal
Person:2426052

Available identifiers

zbMath Open fortes.inmaculadaMaRDI QIDQ2426052

List of research outcomes





PublicationDate of PublicationType
Simplifying inductive schemes in temporal logic2023-02-03Paper
Completeness of a functional system for surjective functions2020-04-29Paper
Discrete-Time Queueing System with Expulsions2015-01-21Paper
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques2014-05-14Paper
Discrete-time queueing system with expulsions2013-11-13Paper
Inductive learning models with missing values2008-04-17Paper
An \(M/G/1\) retrial queue with active breakdowns and Bernoulli schedule in the server2007-01-04Paper
https://portal.mardi4nfdi.de/entity/Q31580462005-01-20Paper
https://portal.mardi4nfdi.de/entity/Q47360212004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44852002000-06-05Paper

Research outcomes over time

This page was built for person: I. Fortes

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