|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBOOKCENTRAL_ocn898771904 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
141227s1989 mau ob 001 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d N$T
|d HEBIS
|d OCLCQ
|d N$T
|d E7B
|d OCLCF
|d DEBSZ
|d OCLCQ
|d MERUC
|d OCLCQ
|d OCLCO
|d K6U
|d OCLCQ
|d OCLCO
|d OCLCL
|d OCLCQ
|
| 020 |
|
|
|a 9781483262475
|q (electronic bk.)
|
| 020 |
|
|
|a 1483262472
|q (electronic bk.)
|
| 029 |
1 |
|
|a DEBBG
|b BV043616673
|
| 029 |
1 |
|
|a DEBSZ
|b 43188384X
|
| 029 |
1 |
|
|a AU@
|b 000056057762
|
| 035 |
|
|
|a (OCoLC)898771904
|
| 050 |
|
4 |
|a QA162
|b .R47 1989
|
| 072 |
|
7 |
|a MAT
|x 002040
|2 bisacsh
|
| 082 |
0 |
4 |
|a 512/.02
|2 19
|
| 049 |
|
|
|a UAMI
|
| 245 |
0 |
0 |
|a Resolution of equations in algebraic structures.
|n Volume 1,
|p Algebraic techniques /
|c edited by Hassan Ait-Kaci, Maurice Nivat.
|
| 246 |
3 |
0 |
|a Algebraic techniques
|
| 260 |
|
|
|a Boston :
|b Academic Press,
|c ©1989.
|
| 300 |
|
|
|a 1 online resource (475 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Front Cover; Algebraic Techniques; Copyright Page; Table of Contents; Contents of Volume 2: Rewriting Techniques; Contributors; Foreword; A Preview of Volume 1: Algebraic Techniques; Chapter 1. Bisimulation in Algebraic Specifications; 1. Introduction; 2. Algebraic Specification of Concurrent Systems: An Example; 3. Simulation; 4. The Lattice of Simulation Congruences; 5. Models of Hierarchical Specifications; Acknowledgment; Appendix A. Basic Notions on Partial Algebras; References; Chapter 2. Characteristic Sets and Grobner Bases in Geometry Theorem Proving.
|
| 505 |
8 |
|
|a 1. An Introduction to the Methods2. Ritt's Characteristic Set Method; 3. Algebra and Geometry; 4. The Complete Method of Wu; 5. Geometry Theorem Proving Using the Grobner Basis Method; 6. A Comparison of the Two Methods; References; Chapter 3. On Recognizable Sets and Tree Automata; 1. Introduction; 2. Recognizable and Equational Sets: General Properties; 3. Recognizable Subsets of Free T-Magmas; 4. Various Notions of Trees; 5. Conclusion; Acknowledgements; References; Chapter 4. The Idea of a Diagram; 1. Grassmann Algebras; 2. Grassmann Geometry; 3. Equations; 4. Theorems; 5. Diagrams.
|
| 505 |
8 |
|
|a 6. Realizations7. Properties; 8. Proof; 9. Reduction; 10. Quantities; 11. Instantiation; 12. Inconclusive Proofs; 13. Coordinate Proofs; 14. Conclusion; Acknowledgements; References; Chapter 5. Rigid E-Unification and Its Applications to Equational Matings; 1. Introduction; 2. Preliminaries; 3. Preview of the Method; 4. Equational Matings; 5. A Skolem-Herbrand-Godel Theorem; 6. Complete Sets of Rigid E-Unifiers; 7. Minimal Rigid E-Unifiers; 8. The Reduction Procedure; 9. A Method for Finding Complete Sets of Rigid F-Unifiers; 10. Soundness, Completeness, and Decidability of the Method.
|
| 505 |
8 |
|
|a 11. NP-Completeness of Rigid E-Unification 12. Equational Applications of Rigid E-unification Matings; 13 A Refutation Procedure; 14. Conclusion and Further Work; Acknowledgement; References; Chapter 6. What Is Unification?; 1. Introduction; 2. Substitutions and Categories; 3. Equations and Solutions; 4. Types, Variables and Products; 5. Classical Term Substitution; 6. What Is Unification?; 7. Further Explorations; 8. Summary; References; Chapter 7. Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science; 1. Introduction; 2. Fixpoint Theorems; 3. Applications.
|
| 505 |
8 |
|
|a 4. Conclusion and DiscussionAcknowledgments; References; Chapter 8. Canonical Representatives for Observational Equivalence Classes; 1. Introduction; 2. Nondeterministic Measurement Systems; 3. Observing Concurrency Models; 4. Some Properties of Observational Equivalence; 5. Abstraction Homomorphisms; 6. Canonical Representatives; 7. Conclusion; Acknowledgements; References; Chapter 9. Minimizing Expansions of Recursions; 1. Introduction; 2. Expansions of IDB Predicates; 3. The A/V Graph and Branches; 4. Inter-Element Redundancy; 5. Intra-Element Redundancy; 6. Conclusion; Acknowledgement.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Algebra, Abstract.
|
| 650 |
|
0 |
|a Equations
|x Numerical solutions.
|
| 650 |
|
6 |
|a Algèbre abstraite.
|
| 650 |
|
6 |
|a Équations
|x Solutions numériques.
|
| 650 |
|
7 |
|a MATHEMATICS
|x Algebra
|x Intermediate.
|2 bisacsh
|
| 650 |
|
7 |
|a Algebra, Abstract
|2 fast
|
| 650 |
|
7 |
|a Equations
|x Numerical solutions
|2 fast
|
| 700 |
1 |
|
|a Aït-Kaci, Hassan,
|d 1954-
|
| 700 |
1 |
|
|a Nivat, M.
|
| 758 |
|
|
|i has work:
|a Resolution of equations in algebraic structures (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCFDq6XkfQTyK7y3yhM3B8C
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Aït-Kaci, Hassan.
|t Algebraic Techniques : Resolution of Equations in Algebraic Structures.
|d Boston : Academic Press, ©1989
|z 9780120463701
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1901499
|z Texto completo
|
| 938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL1901499
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr11008563
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 931466
|
| 994 |
|
|
|a 92
|b IZTAP
|
