Luís Monteiro

From MaRDI portal
Person:1127516

Available identifiers

zbMath Open monteiro.luisMaRDI QIDQ1127516

List of research outcomes





PublicationDate of PublicationType
Modules and specifications2019-10-08Paper
A noninterleaving model of concurrency based on transition systems with spatial structure2013-09-11Paper
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum2012-06-08Paper
Symbolic Knowledge Extraction from Trained Neural Networks Governed by Łukasiewicz Logics2011-08-04Paper
Defining Behaviours by Quasi-finality2009-12-09Paper
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum2009-10-22Paper
https://portal.mardi4nfdi.de/entity/Q45374522002-06-30Paper
https://portal.mardi4nfdi.de/entity/Q44993052001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q42229511999-01-06Paper
Entailment-based actions for coordination1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q43643751998-04-15Paper
Towards resource handling in logic programming: The PPL framework and fits semantics1997-03-13Paper
https://portal.mardi4nfdi.de/entity/Q48585771995-12-17Paper
https://portal.mardi4nfdi.de/entity/Q39471651981-01-01Paper

Research outcomes over time

This page was built for person: Luís Monteiro

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