MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "EQ-algebras." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Two semantics for Timed Default Concurrent Constraint Programming  
  • by Simone Tini And, Simone Tini, Andrea Maggiolo-schettini — 1998 — In Proc. of Constraint Programming for Time Critical Application, COTIC '98, Electronic Notes in Theoretical Computer Science
  • … : : : range over behaviors. We denote by Mod \Sigma (Eq) the class of \Sigma-algebras that are models of Eq…
  • Add To MetaCart
  • Efficient Retrieval of Mathematical Statements  
  • by Andrea Asperti, Matteo Selmi, Via Mura, Anteo Zamboni — 2004 — In Proceeding of the Third International Conference on Mathematical Knowledge Management, MKM 2004. Bialowieza, Poland. LNCS 3119
  • ….ind#xpointer(1/1) 2 920 Coq/Init/Logic/not.con 3 753 CoRN/algebra/CSetoids/cs_eq.con 4 557 CoRN/algebra…
  • Cited by 3 (2 self) – Add To MetaCart
  • Reengineering Sooner Civil Engineering Education  
  • by L. Dee Fink, Randall L. Kolar, All L. Kolar, K.K. Muraleetharan, Robert W. Nairn, Ronald L. Sack, Teri Reed Rhoads, Donna L. Shirley, David A. Sabatini, Ronald L — 2000
  • ….g., density, pressure Constant Coef. 1 st Order Differential Eqs. Algebra and Nonlinear Equations Fluid…
  • Add To MetaCart
  • Around Stable Forking  
  • by Byunghan Kim, A. Pillay — 2000 — Fundamenta Mathematicae
  • … and Lemma 2.7, let A ⊆ M eq be algebraically closed such that p does not fork over A and p…
  • Cited by 2 (1 self) – Add To MetaCart
  • Around Stable Forking  
  • by Byunghan Kim Dept, Byunghan Kim, A. Pillay — Fundamenta Mathematicae
  • …) of the OE-definition of p(x). By our assumptions and Lemma 2.7, let A ` M eq be algebraically closed…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB