BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Stefano Berardi
SearchCollections
Map detail
Stefano Berardi12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipStefano BerardiAStefano BerardiResearcherNon-monotonic Pre-fixed Points and LearningWNon-monotonic Pre-fixed...preprint / 2013An intuitionistic version of Ramsey Theorem (italian version)WAn intuitionistic versi...preprint / 2014Proving termination with transition invariants of height omegaWProving termination wit...preprint / 2014Interactive Realizers and MonadsWInteractive Realizers a...preprint / 2010Knowledge Spaces and the Completeness of Learning StrategiesWKnowledge Spaces and th...preprint / 2014Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of ArithmeticWRamsey's Theorem for Pa...preprint / 2016A Sound, Complete and Effective Second Order Game SemanticsWA Sound, Complete and E...preprint / 2016Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category ProblemWTermination of Rewritin...preprint / 2024Proceedings Third International Workshop on Classical Logic and ComputationWProceedings Third Inter...preprint / 2011Interactive Learning-Based Realizability for Heyting Arithmetic with EM1WInteractive Learning-Ba...preprint / 2010Proceedings Sixth International Workshop on Classical Logic and ComputationWProceedings Sixth Inter...preprint / 2016
Person11 links

Stefano Berardi

Researcher

PaperNon-monotonic Pre-fixed Points and LearningAuthorship / preprint / 2013PaperAn intuitionistic version of Ramsey Theorem (italian version)Authorship / preprint / 2014PaperProving termination with transition invariants of height omegaAuthorship / preprint / 2014PaperInteractive Realizers and MonadsAuthorship / preprint / 2010PaperKnowledge Spaces and the Completeness of Learning StrategiesAuthorship / preprint / 2014PaperRamsey's Theorem for Pairs and kk Colors as a Sub-Classical Principle of ArithmeticAuthorship / preprint / 2016PaperA Sound, Complete and Effective Second Order Game SemanticsAuthorship / preprint / 2016PaperTermination of Rewriting on Reversible Boolean Circuits as a Free 3-Category ProblemAuthorship / preprint / 2024

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)