Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem… Expand

Is this relevant?

2009

2009

We propose linear systems of hedge language equations as a formalism to represent regular hedge languages. This formalism is… Expand

Is this relevant?

Review

2007

Review

2007

The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and… Expand

Is this relevant?

2001

2001

We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… Expand

Is this relevant?

2001

2001

Mathematica is a modern and powerful computer algebra system offering all types of computational facilities (symbolic, numerical… Expand

Is this relevant?

Review

2000

Review

2000

Automated theorem proving is a well established subject in computer science. The advances made in the algorithmic techniques for… Expand

Is this relevant?

1998

Highly Cited

1997

1996

1996

This invention relates to a novel method for the treatment of parasitic diseases and the compositions used in said treatment… Expand

Is this relevant?

1995

1995

TMn Qu6’c Nam * Research Institute for Symbolic Computation RISC-Linz, Johannes Kepler University A–4040, Linz, Austria tqnam… Expand

Is this relevant?