The following pages link to Luís Monteiro (Q1127516):
Displaying 14 items.
- Entailment-based actions for coordination (Q1127518) (← links)
- (Q2847818) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Symbolic Knowledge Extraction from Trained Neural Networks Governed by Łukasiewicz Logics (Q3020465) (← links)
- Towards resource handling in logic programming: The PPL framework and fits semantics (Q3124453) (← links)
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736) (← links)
- Defining Behaviours by Quasi-finality (Q3651283) (← links)
- (Q3947165) (← links)
- (Q4222951) (← links)
- (Q4364375) (← links)
- (Q4499305) (← links)
- (Q4537452) (← links)
- (Q4858577) (← links)
- Modules and specifications (Q5236441) (← links)
