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.

Nicolas Peltier
SearchCollections
Map detail
Nicolas Peltier13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNicolas PeltierANicolas PeltierResearcherA Proof Procedure For Separation Logic With Inductive Definitions and Theory ReasoningWA Proof Procedure For S...preprint / 2022Two Results on Separation Logic With Theory ReasoningWTwo Results on Separati...preprint / 2022Instantiation of SMT problems modulo IntegersWInstantiation of SMT pr...preprint / 2010Reasoning on Schemata of FormulaeWReasoning on Schemata o...preprint / 2012Instantiation Schemes for Nested TheoriesWInstantiation Schemes f...preprint / 2011A Superposition Calculus for Abductive ReasoningWA Superposition Calculu...preprint / 2014Generating Schemata of Resolution ProofsWGenerating Schemata of ...preprint / 2011A Calculus for Generating Ground Explanations (Technical Report)WA Calculus for Generati...preprint / 2012Unifying Decidable Entailments in Separation Logic with Inductive DefinitionsWUnifying Decidable Enta...preprint / 2021Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hardWEntailment Checking in ...preprint / 2020A Decidable Class of Nested Iterated Schemata (extended version)WA Decidable Class of Ne...preprint / 2010Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)WLinear Temporal Logic a...preprint / 2011
Person12 links

Nicolas Peltier

Researcher

PaperA Proof Procedure For Separation Logic With Inductive Definitions and Theory ReasoningAuthorship / preprint / 2022PaperTwo Results on Separation Logic With Theory ReasoningAuthorship / preprint / 2022PaperInstantiation of SMT problems modulo IntegersAuthorship / preprint / 2010PaperReasoning on Schemata of FormulaeAuthorship / preprint / 2012PaperInstantiation Schemes for Nested TheoriesAuthorship / preprint / 2011PaperA Superposition Calculus for Abductive ReasoningAuthorship / preprint / 2014PaperGenerating Schemata of Resolution ProofsAuthorship / preprint / 2011PaperA Calculus for Generating Ground Explanations (Technical Report)Authorship / preprint / 2012

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)