Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Bunched logic

Known as: Bunched implication, Logic of bunched implications, Logic BI 
Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The existing applications of electrical discharge machining (EDM) for bulk material removal are restricted by their comparatively… Expand
  • figure 2
  • figure 1
Is this relevant?
Highly Cited
2011
Highly Cited
2011
  • Robert Atkey
  • Log. Methods Comput. Sci.
  • 2011
  • Corpus ID: 14126792
Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of… Expand
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Abstract The performance of particle colliders is usually quantified by the beam energy and the luminosity. We derive the… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the… Expand
Is this relevant?
2003
2003
  • Jordi Cortadella
  • IEEE Trans. on CAD of Integrated Circuits and…
  • 2003
  • Corpus ID: 1460774
An approach for logic decomposition that produces circuits with reduced logic depth is presented. It combines two strategies… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 9
Is this relevant?
Highly Cited
2002
Highly Cited
2002
List of Figures. List of Tables. Preface. Acknowledgments. Foreword. Introduction David J. Pym. Part I: Propositional BI. 1… Expand
Is this relevant?
2001
2001
An across track interferometric synthetic aperture radar (InSAR) is used to image ocean waves. Across track InSAR data were… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side… Expand
Is this relevant?
1999
1999
  • David J. Pym
  • Proceedings. 14th Symposium on Logic in Computer…
  • 1999
  • Corpus ID: 19035581
We present the logic of bunched implications, BI, in which a multiplicative (or linear) and an additive (or intuitionistic… Expand
Is this relevant?
Highly Cited
1952
Highly Cited
1952
In an earlier publication [14] a method was described which generated the eigenvalues and eigenvectors of a matrix by a… Expand
  • figure 1
  • figure 2
Is this relevant?