In this paper, we study the game-theoretic and computational repercussions of Henkin’s partially ordered quantifiers [19]. After defining a gametheoretic semantics for these objects, we observe that tuning the parameter of absentmindedness gives rise to quantifier prefixes studied in [28]. In the interest of computation, we characterize the complexity class PNP q in terms of partially ordered q...

This article presents a view of the relationship between K&R C’s most prominent descendants: ISO C and ISO C++. It gives a rough chronology of the exchanges of features between the various versions of C and C++ and presents some technical details related to their most significant current incompatibilities. My focus here is the areas where C and C++ differ slightly (‘‘the incompatibilities’’), r...

In this article, the complexes [Rh(Binor-S )(PR3)][BAr4] (R iPr, Cy, C5H9) are described. A combination of x-ray crystallography, NMR spectroscopy, density functional theory, and ‘‘atoms in molecules’’ calculations unequivocally demonstrates that the complexes contain rare examples of metal C–C agostic interactions. Moreover, they are fluxional on the NMR time scale, undergoing rapid and revers...

Abstract: Here I propose C and C++ interfaces and experimental implementation for twofolds arithmetic I introduce in [1] for tracking floating-point inaccuracy. Testing shows, plain C enables high-performance computing with twofolds. C++ interface enables coding as easily as ordinary floating-point numbers. My goal is convincing you to try twofolds; I think assuring accuracy of math computation...