I. Fortes

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simplifying inductive schemes in temporal logic	2023-02-03	Paper
Completeness of a functional system for surjective functions Mathematical Logic Quarterly	2020-04-29	Paper
Discrete-Time Queueing System with Expulsions Communications in Computer and Information Science	2015-01-21	Paper
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques Fuzzy Sets and Systems	2014-05-14	Paper
Discrete-time queueing system with expulsions Communications in Computer and Information Science	2013-11-13	Paper
Inductive learning models with missing values Mathematical and Computer Modelling	2008-04-17	Paper
An \(M/G/1\) retrial queue with active breakdowns and Bernoulli schedule in the server	2007-01-04	Paper
scientific article; zbMATH DE number 2130425 (Why is no real title available?)	2005-01-20	Paper
scientific article; zbMATH DE number 2084826 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1455786 (Why is no real title available?)	2000-06-05	Paper

Research outcomes over time

This page was built for person: I. Fortes