Items related to Instantiation Theory: On the Foundations of Automated...
Instantiation Theory: On the Foundations of Automated Deduction: 518 (Lecture Notes in Computer Science, 518) - Softcover
Synopsis
Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences.
"synopsis" may belong to another edition of this title.
Search results for Instantiation Theory: On the Foundations of Automated...
Stock Image
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783540543336_new
Buy New
£ 49.34
£ 9.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Instantiation Theory : On the Foundations of Automated Deduction
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540543336
Buy New
£ 47.41
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Instantiation Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 148. Seller Inventory # 261739943
Stock Image
Instantiation Theory
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7156600
Buy New
£ 65.86
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Instantiation Theory
Published by
Springer Berlin Heidelberg Aug 1991, 1991
ISBN 10: 3540543333
ISBN 13: 9783540543336
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences. 148 pp. Englisch. Seller Inventory # 9783540543336
Stock Image
Instantiation Theory
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 148. Seller Inventory # 181739949
Seller Image
Instantiation Theory. On the foundations of automated deduction.
Published by
Springer-Verlag, Berlin, 1991
ISBN 10: 3540543333
ISBN 13: 9783540543336
Used
Softcover
Seller: Antiquariat Günter Hochgrebe, Kassel, Germany
Seller rating 5 out of 5 stars
Condition: Gut erhalten. Gr.8°, 133 S., 1 Bl., kartoniert (Lecture notes in artificial intelligence, subseries of lecture notes in computer science, 518). Lang: englisch 254 g. Seller Inventory # 20398
Seller Image
Instantiation Theory
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540543333
ISBN 13: 9783540543336
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to mos. Seller Inventory # 4893152
Buy New
£ 42.70
£ 41.98 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Instantiation Theory
Published by
Springer, Springer Aug 1991, 1991
ISBN 10: 3540543333
ISBN 13: 9783540543336
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch. Seller Inventory # 9783540543336
Seller Image
Instantiation Theory : On the Foundations of Automated Deduction
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences. Seller Inventory # 9783540543336