11 research outputs found
Logic Programming and Logarithmic Space
Full text linkWe present an algebraic view on logic programming, related to proof theory
and more specifically linear logic and geometry of interaction. Within this
construction, a characterization of logspace (deterministic and
non-deterministic) computation is given via a synctactic restriction, using an
encoding of words that derives from proof theory.
We show that the acceptance of a word by an observation (the counterpart of a
program in the encoding) can be decided within logarithmic space, by reducing
this problem to the acyclicity of a graph. We show moreover that observations
are as expressive as two-ways multi-heads finite automata, a kind of pointer
machines that is a standard model of logarithmic space computation
Influence of skin ageing features on Chinese women's perception of facial age and attractiveness
No full textFacial skin mapping: from single point bio‐instrumental evaluation to continuous visualization of skin hydration, barrier function, skin surface pH, and sebum in different ethnic skin types
No full textPhotoageing‐related skin changes in different age groups: a clinical evaluation by biophysical and imaging techniques
No full text
Periphyton responds differentially to nutrients recycled in dissolved or faecal pellet form by the snail grazer Theodoxus fluviatilis
No full text
Lower, Middle or Upper Palaeolithic? A Classification Analysis of the Bársony House Hand Axes from the North Carpathian Basin
No full textPhytoplankton scenario and microcystin in water during extreme drought in semiarid tropical water supplies, Northeastern Brazil
No full text
