Zobrazeno 1 - 10
of 747
pro vyhledávání: '"A. Polonowski"'
Publikováno v:
In Tetrahedron 2005 61(14):3483-3487
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tetrahedron. 61:3483-3487
The Polonowski reaction of NBnMO ( 4 ) afforded tropone ( 10 ) and the novel isoindole 11 besides the expected products benzaldehyde and acetmorpholide, in a temperature-dependent ratio. The reaction proceeded via two primary carbenium–iminium ion
Publikováno v:
Holzforschung. 56:199-208
Summary Polonowski type degradation reactions are a major reason for the frequently observed instability of solutions of cellulose in N-methylmorpholine-N-oxide monohydrate (NMMO, 1). The degradation is induced by degradation products of cellulose an
Autor:
PR Newswire
Publikováno v:
PR Newswire US. 12/21/2022.
Autor:
Polonowski, Emmanuel
DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma. It provid
Externí odkaz:
http://arxiv.org/abs/1212.0253
Autor:
Crolard, Tristan, Polonowski, Emmanuel
We derive a Hoare-Floyd logic for non-local jumps and mutable higher-order procedural variables from a formul{\ae}-as-types notion of control for classical logic. The main contribution of this work is the design of an imperative dependent type system
Externí odkaz:
http://arxiv.org/abs/1112.2950
Autor:
Crolard, Tristan, Polonowski, Emmanuel
Relying on the formulae-as-types paradigm for classical logic, we define a program logic for an imperative language with higher-order procedural variables and non-local jumps. Then, we show how to derive a sound program logic for this programming lan
Externí odkaz:
http://arxiv.org/abs/1112.1554
Autor:
Polonowski, Emmanuel
We introduce a library which provides an abstract data type of environments, as a functor parameterized by a module defining variables, and a function which builds environments for such variables with any Type of type. Usual operations over environme
Externí odkaz:
http://arxiv.org/abs/1112.1316
Autor:
Polonowski, Emmanuel
This document describes the implementation in SML of the LoopW language, an imperative language with higher-order procedural variables and non-local jumps equiped with a program logic. It includes the user manual along with some implementation notes
Externí odkaz:
http://arxiv.org/abs/0912.5515