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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

To damp undesired longitudinal oscillations of bunched beams, the main synchrotron SIS100 of FAIR (Facility for Antiproton and…

2010

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

Diagnostic techniques based on the Schottky spectrum of the peak detected signal have been used at CERN for a long time to study…

2009

A facility for collinear laser spectroscopy and beam polarization of exotic nuclei is being developed at NSCL. The facility will…

2004

In this paper we derive an expression for the longitudinal Schottky power spectrum of a bunched beam in an arbitrary-shape…

2003

At present, the industry standards about nuclear power station, ships (including war ships and submarines), subway and coal mine…

2000

Muon cooling is both the basic idea and the primary uncertainty in the feasibility of high intensity muon facilities. The novelty…

1998

In high intensity proton linacs even small particle loss causes activation of the accelerator components [1]. Minimizing the…

1994

1983

The SPS is the first hadron collider operating with bunched beams and head-on collisions. In this respect, it is more similar to…