MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Congruence Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

68 documents found, showing 1 through 10. Next 10 →

ATOM

Congruence Types
by Gilles Barthe, Herman Geuvers — 1996 — Proceedings of CSL'95
…Congruence types ? Gilles Barthe 1;3 and Herman Geuvers 2;3 1 Centrum voor Wiskunde en…
Cited by 5 (5 self) – Add To MetaCart

GEOMETRY AND COMPLEXITY OF O’HARA’S ALGORITHM
by Matja ˇ Z Konvalinka, Igor Pak
…’Hara’s bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a…
Cited by 1 (1 self) – Add To MetaCart

Euler systems and Jochnowitz congruences
by M. Bertolini, H. Darmon — 1999 — Amer. J. Math
… of the special value L(g/K, 1). Congruences of this type were anticipated by Jochnowitz, and for this reason…
Cited by 4 (3 self) – Add To MetaCart

Enumeration of Symmetry Classes of Convex Polyominoes in the Square Lattice
by P. Leroux, E. Rassart, A. Robitaille — 2002 — Comput. Sci
… (UQAM) Abstract This paper concerns the enumeration of rotation-type and congruence-type convex…
Cited by 3 (0 self) – Add To MetaCart

Around Real Enriques Surfaces
by Alexander Degtyarev, Er Degtyarev, Viatcheslav Kharlamov, Velimir Hlebnikov Mirsk'onca — 1995
….1 and 4.2 is proved similar to the well known Arnold-Gudkov-Rokhlin type congruences. Let Discr H…
Cited by 1 (1 self) – Add To MetaCart

Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names
by Jens Chr Godskesen, Thomas Hildebr — 2005 — FSTTCS, LNCS 3821
… discussion). Consequently, any non-trivial congruence must be well typed, meaning that related processes r…
Cited by 7 (3 self) – Add To MetaCart

A Geometric Consequence of Residual Smallness
by Keith A. Kearnes, Emil W. Kiss, Matthew A. Valeriote — 1999
…(ff; `; ffi) fails, and ff is a minimal congruence of type 2, 3, or 4. Then the RL configuration occurs in C…
Cited by 2 (2 self) – Add To MetaCart

Chief Factor Sizes In Finitely Generated Varieties
by Kearnes Kiss Szendrei, K. A. Kearnes, E. W. Kiss, A. Szendrei, R. D. Willard
… type is 1 or 5. On the other hand, tame congruence theory produces the following positive result…
Add To MetaCart

Relating Semantic Models for the Object Calculus
by Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist — 1997 — In Proceedings of Express 97 Workshop, volume 7 of Electronic Notes in Theoretical Computer Science. Elsevier Science B.V
… the relations A ', congruence at type Top, viz. Top ' , is the most discriminating and Bool ' the least…
Cited by 2 (2 self) – Add To MetaCart

A Functional Abstraction of Typed Contexts
by Olivier Danvy, Andrzej Filinski — 1989
… typed expression language with higher-order functions and first-class continuations; its congruence…
Cited by 40 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB