The proper treatment of quanti cation in Natural Language proposed by Richard Montague some thirty years ago does not do proper justice to the fact that interpretation of texts both uses context and sets up new contexts. The dynamic turn in NL semantics is the attempt to model this basic fact, but the use of dynamically quanti ed variables introduces an undesirable element into this attempt. By...

We describe here an implemented small programming language, called Alma-0, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions encourage declarative programming and make it a more attractive vehicle for problems that involve search. We illustrate the use of Alma-0 by presenting solutions to a nu...

Some existence theorems are obtained for subharmonic solutions of nonautonomous p -Hamiltonian systems by the minimax methods in critical point theory. Mathematics subject classification (2010): 34C25.

We construct non-associative key establishment protocols for all LD-, multi-LD-, and other left-distributive systems. 2010 Mathematics Subject Classification. 20N02, 20F36.

We establish several sharp inequalities for trigonometric and hyperbolic functions. Our results sharpen some known inequalities. Mathematics subject classification (2010): 26D05, 26D07.

In the present paper some geometric inequalities concerning the angle bisectors and the medians of a triangle are established. Mathematics subject classification (2010): Primary 26D15.

In this paper we will discuss a Weierstrass type representation for minimal surfaces in Riemannian and Lorentzian 3-dimensional manifolds. Mathematics Subject Classification (2010). Primary 53C42; Secondary 53C50.

We discuss several constructions of homomorphisms from SK1 and SK2 of central simple algebras to subquotients of Galois cohomology groups. 2010 Mathematics Subject Classification: 16Kxx, 19Bxx, 20G15.

In this study, we introduce new matrix poynomials and derive their properties such as explict representations, recurrence relations and generating matrix functions. 2010 Mathematics Subject Classification: 33C45; 15A60

For a long time operator splitting was the only computationally feasible way of implicit time integration in large scale Air Pollution Models. A recently proposed attractive alternative is Rosenbrock schemes combined with Approximate Matrix Factorization (AMF). With AMF, linear systems arising in implicit time stepping are solved approximately in such a way that the overall computational costs ...