Alessandro Avellone

Available identifiers

zbMath Open avellone.alessandroMaRDI QIDQ506822

List of research outcomes

Publication	Date of Publication	Type
On finding the community with maximum persistence probability	2024-12-20	Paper
Complexity reduction and approximation of multidomain systems of partially ordered data	2022-05-30	Paper
Generalized tableau systems for intermediate propositional logics	2019-01-15	Paper
Almost duplication-free tableau calculi for prepositional lax logics	2019-01-10	Paper
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model	2017-02-02	Paper
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic	2016-08-15	Paper
Optimization techniques for propositional intuitionistic logic and their implementation	2008-12-12	Paper
Improvements to the Tableau Prover PITP	2008-01-04	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4421867	2003-09-01	Paper
How to avoid the formal verification of a theorem prover	2001-04-17	Paper
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	2000-06-14	Paper
On maximal intermediate predicate constructive logics	1997-01-16	Paper

Research outcomes over time

This page was built for person: Alessandro Avellone