Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Boolean algebraCurry–Howard correspondenceHoare logicLinear logic

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Wide spin resonance with an rf-bunched proton beam
We recently used an rf solenoid to study the widths of rf spin resonances with both unbunched and bunched beams of 2.1 GeV_c… 
2009
2009
Collinear Laser Spectroscopy and Polarized Exotic Nuclei at Nscl
A facility for collinear laser spectroscopy and beam polarization of exotic nuclei is being developed at NSCL. The facility will… 
2006
2006
Speed-Flow and Bunching Models for Uninterrupted Flows
Akcelik's time-dependent speed-flow model based on queuing theory concepts is used to develop alternative versions of the Highway… 
2005
2005
A transit route simulator for the evaluation of control strategies using automatically collected data
This thesis develops and tests an extensible simulation model that uses automatically collected transit data to simulate transit… 
2001
2001
The picture tells the story: Using surface morphology to probe chemical etching reactions
Highly anisotropic etchants, which only attack specific crystallographic planes of a material, are prized by industry, but the… 
1998
1998
Halo Formation by Mismatch for High Intensity Bunched Beams
In high intensity proton linacs even small particle loss causes activation of the accelerator components [1]. Minimizing the… 
1995
1995
Longitudinal instabilities of bunched beams caused by short-range wake fields
1994
1994
Image effects for bunched beams in axisymmetric systems
1983
1983
Time and Momentum Exchange for Production and Collection of Intense Antiproton Beams at Fermilab
Antiprotons for the Fermilab p¿p colliding beam project are accumulated by rf stacking of successive 8 GeV antiproton batches in… 
1983
1983
Beam-Beam and Single Beam Effects in the SPS Proton-Antiproton Collider
The SPS is the first hadron collider operating with bunched beams and head-on collisions. In this respect, it is more similar to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)