MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Relational Transducers for Electronic Commerce." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Relational Transducers for Electronic Commerce
by Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha — 1998 — JCSS
…Relational Transducers for Electronic Commerce Serge Abiteboul I.N.R.I.A.-Rocquencourt Serge…
Cited by 46 (10 self) – Add To MetaCart

Verification of Relational Transducers for Electronic Commerce
by Marc Spielmann — 2000 — JCSS
…Verification of Relational Transducers for Electronic Commerce Marc Spielmann Mathematische…
Cited by 19 (0 self) – Add To MetaCart

Verification of Relational Transducers
by For Electronic Commerce
…Verification of Relational Transducers for Electronic Commerce ÅÓØ…
Add To MetaCart

Abstract State Machines: Verification Problems and Complexity
by Marc Spielmann, Rheinisch-westfälische Technische, Hochschule Aachen — 2000 — Ph.D. thesis, RWTH Aachen
… for Electronic Commerce 41 2.1 ASM Relational Transducers . . . . . . . . . . . . . . . . . . . . . 44 2…
Cited by 5 (0 self) – Add To MetaCart

Towards First-Order Temporal Resolution
by Anatoli Degtyarev, Michael Fisher — In KI 2001, Proceedings
… of relational transducers for electronic commerce [AVFY00] which are expressed in the monodic language again…
Cited by 28 (14 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB