MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Equational Abstractions." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 297 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Equational Abstractions  
  • by José Meseguer, Miguel Palomino, Narciso Martí-Oliet — 2003
  • Equational Abstractions Jose Meseguer 1 , Miguel Palomino 1;2 , and Narciso Mart-Oliet 2 1…
  • Cited by 16 (9 self)Add To MetaCart
  • Automatic Abstraction of Equations in . . .  
  • by Miroslav N. Velev — 2003 — AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX '03)
  • …–213. Automatic Abstraction of Equations in a Logic of Equality Abstract. The paper presents a method…
  • Add To MetaCart
  • Computability In Nonlinear Solid Mechanics  
  • by By Belytschko And, T. Belytschko, K. Mish
  • equation. An abstract measure of the level of difficulty is proposed, and some examples of typical…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB