The following pages link to Paulo A. S. Veloso (Q281161):
Displayed 50 items.
- On a graph approach to modal logics (Q281163) (← links)
- On methods for safe introduction of operations (Q293132) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- On the Modularization Theorem for logical specifications (Q674000) (← links)
- On graph reasoning (Q731892) (← links)
- Some remarks on multiple-entry finite automata (Q1255783) (← links)
- Characterizing the regular prefix codes and right power-bounded languages (Q1259432) (← links)
- On pushout consistency, modularity and interpolation for logical specifications (Q1350924) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Item:Q281161 (redirect page) (← links)
- On local modularity variants and \(\Pi\)-institutions (Q1603411) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- On ultrafilter logic and special functions (Q1770623) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- (Q2735812) (← links)
- Sequent Calculi for ‘Generally’ (Q2866737) (← links)
- (Q3119359) (← links)
- (Q3221382) (← links)
- (Q3309100) (← links)
- (Q3326886) (← links)
- (Q3343424) (← links)
- (Q3367290) (← links)
- (Q3367291) (← links)
- On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates (Q3378199) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- On vague notions and modalities: a modular approach (Q3577907) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- (Q3673160) (← links)
- (Q3678652) (← links)
- (Q3780495) (← links)
- (Q3894952) (← links)
- Characterizations for the regular prefix codes and related families (Q3901014) (← links)
- (Q3940881) (← links)
- Comparing data type specifications via their normal forms (Q3949956) (← links)
- (Q3971258) (← links)
- (Q3989924) (← links)
- (Q4005196) (← links)
- (Q4172921) (← links)
- A New, Simpler Proof of the Modularisation Theorem for Logical Specifications (Q4291868) (← links)
- A Finite Axiomatization for Fork Algebras (Q4340535) (← links)
- (Q4345012) (← links)
- (Q4362877) (← links)
- (Q4364502) (← links)
- (Q4390778) (← links)
- (Q4391027) (← links)
- (Q4437963) (← links)
- (Q4438106) (← links)
- (Q4438115) (← links)