1724 search results - page 74 / 345 » Abstract Interpreters for Free |
177
Voted
CALCO
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
144
click to vote
JCC
2011
15 years 12 days ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
124
click to vote
MMM
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. With the explosive growth of multimedia data, video presentation has become an important technology for fast browsing of video content. In this paper, we present a novel ...
158
click to vote
JCT
2010
15 years 3 months ago
2010
Abstract. We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2 + 2)-free posets and a certain class of involutions (or chord ...
147
click to vote
SIAMMA
2010
15 years 6 days ago
2010
Abstract. In this paper, we derive asymptotic models for the propagation of two and threedimensional gravity waves at the free surface and the interface between two layers of immis...