Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICALP
1997
Springer

favoriteEmaildiscussreport

65views Programming Languages» more ICALP 1997»

Monadic Simultaneous Rigid E-Unification and Related Problems

13 years 9 months ago

Monadic Simultaneous Rigid E-Unification and Related Problems

Download research.microsoft.com

Yuri Gurevich, Andrei Voronkov

Real-time Traffic

ICALP 1997 | Programming Languages |

claim paper

Related Content

» Rigid Reachability

» Decidable and Undecidable SecondOrder Unification Problems

» NonRigid Registration of Shapes Via Diffeomorphic Point Matching

» Simultaneous Segmentation and 3D Reconstruction of Monocular Image Sequences

» PoseCut Simultaneous Segmentation and 3D Pose Estimation of Humans Using Dynamic GraphCuts

» Coordination on Lie groups

» Generative Graphical Models for Maneuvering Object Tracking and Dynamics Analysis

» Semantic structure from motion

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	ICALP
Authors	Yuri Gurevich, Andrei Voronkov

Comments (0)