Luís Monteiro

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
Modules and specifications Logics in Artificial Intelligence	2019-10-08	Paper
A noninterleaving model of concurrency based on transition systems with spatial structure	2013-09-11	Paper
Towards bialgebraic semantics for the linear time -- branching time spectrum Recent Trends in Algebraic Development Techniques	2012-06-08	Paper
Symbolic knowledge extraction from trained neural networks governed by Łukasiewicz logics Studies in Computational Intelligence	2011-08-04	Paper
Defining behaviours by quasi-finality Lecture Notes in Computer Science	2009-12-09	Paper
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum Recent Trends in Algebraic Development Techniques	2009-10-22	Paper
scientific article; zbMATH DE number 1761431 (Why is no real title available?)	2002-06-30	Paper
scientific article; zbMATH DE number 1497874 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 1231628 (Why is no real title available?)	1999-01-06	Paper
Entailment-based actions for coordination Theoretical Computer Science	1998-08-13	Paper
scientific article; zbMATH DE number 1088028 (Why is no real title available?)	1998-04-15	Paper
Towards resource handling in logic programming: The PPL framework and fits semantics Computer Languages	1997-03-13	Paper
scientific article; zbMATH DE number 826299 (Why is no real title available?)	1995-12-17	Paper
scientific article; zbMATH DE number 3765206 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Luís Monteiro