Quinoxalines display diverse and interesting pharmacological activities as antibacterial, antiviral, antiparasitic and anticancer agents. Particularly, their 1,4-di-N-oxides derivatives have proved to be cytotoxic agents that are active under hypoxic conditions as that of solid tumours. A new series of quinoxaline 1,4-di-N-oxides substitutes at 7-position with esters group were synthetized and ...

Quinoxalines display diverse and interesting pharmacological activities as antibacterial, antiviral, antiparasitic and anticancer agents. Particularly, their 1,4-di-N-oxides derivatives have proved to be cytotoxic agents that are active under hypoxic conditions as that of solid tumours. A new series of quinoxaline 1,4-di-N-oxides substitutes at 7-position with esters group were synthetized and ...

We prove that there is a polynomial time substitution (y1, . . . , yn) := g(x1, . . . , xk) with k << n such that whenever the substitution instance A(g(x1, . . . , xk)) of a 3DNF formula A(y1, . . . , yn) has a short resolution proof it follows that A(y1, . . . , yn) is a tautology. The qualification “short” depends on the parameters k and n. Let A(y) be a 3DNF propositional formula in n varia...

We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe the model of computation implicit in this theory and show how this is based on a compound monad, and we contrast this model of computation and monad with those implicit in Dunne’s theory of abstract commands. Subject to a qualif...