Luís Monteiro

Available identifiers

zbMath Open monteiro.luisMaRDI QIDQ1127516

List of research outcomes

Publication	Date of Publication	Type
Modules and specifications	2019-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q2847818	2013-09-11	Paper
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum	2012-06-08	Paper
Symbolic Knowledge Extraction from Trained Neural Networks Governed by Łukasiewicz Logics	2011-08-04	Paper
Defining Behaviours by Quasi-finality	2009-12-09	Paper
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4537452	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4499305	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4222951	1999-01-06	Paper
Entailment-based actions for coordination	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4364375	1998-04-15	Paper
Towards resource handling in logic programming: The PPL framework and fits semantics	1997-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4858577	1995-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q3947165	1981-01-01	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: Luís Monteiro