A formal yet practical approach to electronic commerce

International Journal of Cooperative Information Systems

Volumn 11, Issue 1-2, 2002, Pages 93-117

  Konopnicki, David ^a   Leiba, Lior ^a   Shmueli, Oded ^a   Sagiv, Yehoshua ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DATA STRUCTURES; FORMAL LOGIC; WORLD WIDE WEB;

ELECTRONIC CONTRACTS;

ELECTRONIC COMMERCE;

EID: 0035994563     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218843002000510     Document Type: Article

References (25)

1. Generic computation and its complexity
2. Relational transducers for electronic commerce
3. Order sorted feature theory unification
4. On a theory of computation and complexity over the real numbers: Npcompleteness, recursive functions and universal machines
5. Open nested type structures and partial unification for searching in distributed electronic market
6. Kasbah: An agent marketplace for buying and selling goods
7. Atomicity versus anonymity: Distributed transactions for electronic commerce
8. The ontolingua server: A tool for collaborative ontology construction
9. Evolving databases: An application to electronic commerce
10. Knowledge interchange format
11. A translation approach to portable ontology specifications
12. A translation approach to portable ontology specifications
13. Cooperative vs. competitive multi-agent negotiations in retail electronic commerce
14. A formal yet practical approach to electronic commerce
15. Toward automated electronic commerce
16. Principles and practice of constraint programming
17. Eco system: An internet commerce architecture
18. The enterprise ontology
19. Introducing xml/edi frameworks