RTA
2001
Springer
14 years 4 months ago
2001
Springer
RTA
2001
Springer
14 years 4 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
RTA
2001
Springer
14 years 4 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
RELMICS
2001
Springer
14 years 4 months ago
2001
Springer
RELMICS
2001
Springer
14 years 4 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
RANDOM
2001
Springer
14 years 4 months ago
2001
Springer
RANDOM
2001
Springer
14 years 4 months ago
2001
Springer
RANDOM
2001
Springer
14 years 4 months ago
2001
Springer
We study Euclidean embeddings of Euclidean metrics and present the following four results: (1) an O(log3 n √ log log n) approximation for minimum bandwidth in conjunction with a ...
RANDOM
2001
Springer
14 years 4 months ago
2001
Springer
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
RANDOM
2001
Springer
14 years 4 months ago
2001
Springer
d Abstract) Noga Alon1, , Michael Capalbo2, , Yoshiharu Kohayakawa3, , Vojtˇech R¨odl4,† , Andrzej Ruci´nski5,‡ , and Endre Szemer´edi6,§ 1 Department of Mathematics, Raym...