MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Extended Prolog for Order-Sorted Resolution." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • EPOS: Object-oriented cooperative process modelling  
  • by Reidar Conradi, Marianne Hagaseth, Jens-otto Larsen, Minh Ngoc, Bjørn P. Munch, Per H. Westby, Weicheng Zhu, M. Letizia Jaccheri, Ed. Bashar A. Nuseibeh, Imperial College — 1994 — Software Process Modelling and Technology, pages 33 -- 70
  • ….18457. Do not confuse with the German real-time environment EPOS [Lem86], or with Extended Prolog for Order-Sorted
  • Cited by 28 (4 self)Add To MetaCart
  • Object-Oriented and Cooperative Process Modeling in EPOS  
  • by Reidar Conradi, Marianne Hagaseth, Jens-otto Larsen, Minh Ngoc, Bjørn P. Munch, Per H. Westby, Weicheng Zhu, M. Letizia Jaccheri, Ed. Bashar A. Nuseibeh, Imperial College — 1994 — In PROMOTER book: Anthony Finkelstein, Jeff Kramer and Bashar A. Nuseibeh (Eds.): Software Process Modeling and Technology
  • ….18457. Do not confuse with the German real-time environment EPOS [Lem86], or with Extended Prolog for Order-Sorted
  • Cited by 2 (0 self)Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB