Sciweavers

12 search results - page 1 / 3
» aisc 2006
Sort
View
AISC
2006
Springer
15 years 1 months ago
Algebra and Geometry
Heisuke Hironaka
AISC
2006
Springer
14 years 11 months ago
Extension of First-Order Theories into Trees
Khalil Djelloul, Thi-Bich-Hanh Dao
AISC
2006
Springer
15 years 1 months ago
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...
AISC
2006
Springer
15 years 1 months ago
The Confluence Problem for Flat TRSs
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacq...
AISC
2006
Springer
15 years 1 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan