The following pages link to Alessandro Avellone (Q506822):
Displaying 14 items.
- Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model (Q506824) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Complexity reduction and approximation of multidomain systems of partially ordered data (Q2143036) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- How to avoid the formal verification of a theorem prover (Q2708306) (← links)
- A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic (Q3187008) (← links)
- (Q4421867) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Almost duplication-free tableau calculi for prepositional lax logics (Q4645225) (← links)
- (Q4699343) (← links)
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics (Q4700536) (← links)
- Computer Science Logic (Q5311279) (← links)
- Improvements to the Tableau Prover PITP (Q5434492) (← links)
- On finding the community with maximum persistence probability (Q6655141) (← links)
