Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2385/2002
BookArtificial Intelligence, Automated Reasoning, and Symbolic Computation
DOI10.1007/3-540-45470-5
Copyright2002
ISBN978-3-540-43865-6
DOI10.1007/3-540-45470-5_26
Pages339-379
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

Temur Kutsia6, 7 Contact Information

(6)  Research Institute for Symbolic Computation, Johannes Kepler University Linz, A-4040 Linz, Austria
(7)  Software Competence Center Hagenberg, Hauptstrasse 99, A-4232 Hagenberg, Austria
Abstract
A minimal and complete unification procedure for a theory with individual and sequence variables, free constants and free fixed and flexible arity function symbols is described and a brief overview of an extension with pattern-terms is given.
Supported by the Austrian Science Foundation (FWF) under Project SFB F1302 and by Software Competence Center Hagenberg (Austria) under MathSoft project.

Contact Information Temur Kutsia
Email: kutsia@risc.uni-linz.ac.at
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)