Coercive type isomorphism von Thatte, Satish R.

Volltext

Implementing first-order rewriting with constructor systems von Thatte, Satish

Volltext

A refinement of strong sequentiality for term rewriting with constructors von Thatte, Satish

Volltext

Modal logic and algebraic specifications von Moss, Lawrence S., Thatte, Satish R.

Volltext

Semantics of type classes revisited von Thatté, Satish R.

Volltext

A type system for implicit scaling von Thatte, Satish

Volltext

Type inference with partial types von Thatte, Satish R.

Volltext

TECHNIQUES TO CROSS-SYNCHRONIZE DATA von KIRILLOV, Anton, THATTE, Satish, DALFO, Ricard Roma I, MULLENDER, Maarten, SALGADO, Rolando Jimenez

Volltext bestellen

Optimal semantics of data type extensions von Moss, Lawrence S., Thatte, Satish R.

Volltext

Increasing coordination service reliability von Klein Johannes, Junqueira Flavio Paiva, Thatte Satish R

Volltext bestellen

Type inference and implicit scaling von Thatte, Satish

Volltext

Type inference with partial types von Thatte, Satish

Volltext

INCREASING COORDINATION SERVICE RELIABITY von Klein Johannes, Junqueira Flavio Paiva, Thatte Satish R

Volltext bestellen

Finite Acyclic Theories are Unitary von Thatte, Satish R.

Volltext

Test Generation for Microprocessors von Thatte, Abraham

Volltext

Full abstraction and limiting completeness in equational languages von Thatte, Satish R.

Volltext

Generalized protocol mapping von LANGWORTHY DAVID E, THATTE SATISH R

Volltext bestellen

Generalized protocol mapping von Langworthy, David E, Thatte, Satish R

Volltext bestellen

Techniques to cross-synchronize data von THATTE SATISH, SALGADO ROLANDO JIMENEZ, I DALFO RICARD ROMA, KIRILLOV ANTON, MULLENDER MAARTEN

Volltext bestellen

Techniques to manage event notifications von BANSAL ANUJ, THATTE SATISH, XU LIHUI, ABEL TODD, SALGADO ROLANDO JIMENEZ, KAPOOR RAHUL

Volltext bestellen