scholarly journals Confluence by Critical Pair Analysis Revisited

2019 ◽  
pp. 319-336
Author(s):  
Nao Hirokawa ◽  
Julian Nagele ◽  
Vincent van Oostrom ◽  
Michio Oyamaguchi
Keyword(s):  
Critical Pair ◽  
Critical Pair Analysis ◽  
Pair Analysis

scholarly journals Critical Pair Analysis in Nominal Rewriting

10.29007/7q54 ◽  
2018 ◽  
Author(s):  
Takaki Suzuki ◽  
Kentaro Kikuchi ◽  
Takahito Aoto ◽  
Yoshihito Toyama
Keyword(s):  
Order Term ◽  
Term Rewriting ◽  
Critical Pair ◽  
Binding Mechanism ◽  
First Order ◽  
Rewrite Rules ◽  
Critical Pair Analysis ◽  
Orthogonal Systems ◽  
Pair Analysis ◽  
Critical Pairs

Nominal rewriting (Fernández, Gabbay & Mackie, 2004;Fernández & Gabbay, 2007) is a framework that extendsfirst-order term rewriting by a binding mechanismbased on the nominal approach (Gabbay & Pitts, 2002;Pitts, 2003). In this paper, we investigate confluenceproperties of nominal rewriting, following the study oforthogonal systems in (Suzuki et al., 2015), but herewe treat systems in which overlaps of the rewrite rulesexist. First we present an example where choice ofbound variables (atoms) of rules affects joinability ofthe induced critical pairs. Then we give a detailedproof of the critical pair lemma, and illustrate someof its applications including confluence results fornon-terminating systems.

Confluence by Critical Pair Analysis

2014 ◽  
pp. 287-302 ◽  
Author(s):  
Jiaxiang Liu ◽  
Nachum Dershowitz ◽  
Jean-Pierre Jouannaud
Keyword(s):  
Critical Pair ◽  
Critical Pair Analysis ◽  
Pair Analysis

Advantages of Complementary Stereo Images as Viewed with the Low-Temperature Field-Emission SEM

1992 ◽  
Vol 50 (2) ◽  
pp. 1314-1315
Author(s):  
William P. Wergin ◽  
Eric F. Erbe
Keyword(s):  
Fold Increase ◽  
Horizontal Displacement ◽  
Three Dimensions ◽  
Stereo Image ◽  
Stereo Pair ◽  
Sem Micrograph ◽  
Left And Right ◽  
The Common ◽  
The Brain ◽  
Pair Analysis

The eye-brain complex allows those of us with normal vision to perceive and evaluate our surroundings in three-dimensions (3-D). The principle factor that makes this possible is parallax - the horizontal displacement of objects that results from the independent views that the left and right eyes detect and simultaneously transmit to the brain for superimposition. The common SEM micrograph is a 2-D representation of a 3-D specimen. Depriving the brain of the 3-D view can lead to erroneous conclusions about the relative sizes, positions and convergence of structures within a specimen. In addition, Walter has suggested that the stereo image contains information equivalent to a two-fold increase in magnification over that found in a 2-D image. Because of these factors, stereo pair analysis should be routinely employed when studying specimens.Imaging complementary faces of a fractured specimen is a second method by which the topography of a specimen can be more accurately evaluated.

Sign in / Sign up

Export Citation Format

Share Document