MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Recent Trends in Algebraic Development Techniques" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • BRICS Research Series, 1998.  
  • by Brics, Mogens Nielsen, Christian N. S. Pedersen, Rune B. Lyngs, Jotun Hein Comparison — 1999
  • …, Recent Trends in Algebraic Development Techniques: 13th Workshop, WADT '98 Selected Papers, LNCS 1589…
  • Add To MetaCart
  • Algebraic Abstractions  
  • by Michel Bidoit, Re Boisseau — 2001 — In: 15th Workshop on Algebraic Development Techniques WADT’01, Lecture Notes in Computer Science 2267
  • …http://www.lsv.ens-cachan.fr/Publis/ In Recent Trends in Algebraic Development Techniques…
  • Cited by 1 (0 self) – Add To MetaCart
  • Institution Morphisms for Relating OWL and Z  
  • by Dorel Lucanu — 2005 — in The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05
  • …. Relating abstract datatypes and Z-schemata. In D. Bert and C. Choppy, editors, Recent Trends in Algebraic…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB