Explicit versus implicit representations of subsets of the Herbrand universe

Author： Pichler R.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 1021-1056

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Comparison of Implicit and Explicit Parallel Programming

By Freeh V.W.  

Journal of Parallel and Distributed Computing, Vol. 34, Iss. 1, 1996-04 ,pp. : 50-65

Academic Press

Access to resources Recommend Favorite

Implicit–Explicit Schemes for BGK Kinetic Equations

By Pieraccini Sandra   Puppo Gabriella  

Journal of Scientific Computing, Vol. 32, Iss. 1, 2007-07 ,pp. : 1-28

Springer Publishing Company

Access to resources Recommend Favorite

Effective domain representations of H(X), the space of compact subsets

By Blanck J.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 19-48

Elsevier

Access to resources Recommend Favorite

Explicit and Implicit Continuation Algorithms for Strongly Monotone Variational Inequalities with Box Constraints

By Jian Jin-Bao   Mo Xing-De   Li Jian-Ling  

Journal of Global Optimization, Vol. 29, Iss. 1, 2004-05 ,pp. : 59-83

Springer Publishing Company

Access to resources Recommend Favorite

Implicit–Explicit Runge–Kutta Schemes and Applications to Hyperbolic Systems with Relaxation

By Pareschi Lorenzo   Russo Giovanni  

Journal of Scientific Computing, Vol. 25, Iss. 1, 2005-10 ,pp. : 129-155

Springer Publishing Company

Access to resources Recommend Favorite