Items related to Algorithmic Properties Of Structures: Selected Papers...
Synopsis
The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in different types of publications. This collection of selected papers is therefore timely and useful. It represents an original and coherent approach to the basic interrelationships between mathematics and computer science.The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt with by expanding these structures into combinatory algebras.
"synopsis" may belong to another edition of this title.
Product Description
The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in different types of publications. This collection of selected papers is therefore timely and useful. It represents an original and coherent approach to the basic interrelationships between mathematics and computer science.The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt with by expanding these structures into combinatory algebras.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 72.55
£ 22.24 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSearch results for Algorithmic Properties Of Structures: Selected Papers...
Stock Image
Algorithmic Properties of Structures
Published by
World Scientific Publishing Co Pte Ltd, 1994
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-577-947
Quantity: 1 available
Stock Image
Algorithmic Properties of Structures: Selected Papers of E Engeler
Published by
WORLD SCIENTIFIC PUB CO INC, 1994
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 268 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 2517481/1
Quantity: 1 available
Seller Image
Algorithmic properties of structures.
Published by
Singapore, World Scientific Publ, 1993
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 257 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. AB-8186 9810208723 Sprache: Englisch Gewicht in Gramm: 1550. Seller Inventory # 2382047
Quantity: 1 available
Stock Image
Algorithmic Properties of Structures Selected Papers of Erwin Engeler
Published by
World Scientific, New Jersey, 1993
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: Chequamegon Books, Washburn, WI, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good with no dust jacket. 257 pages. spine label removed with remnants showing. sticker on rear cover and last page, pocket on inside rear cover, page edges stamped and stamped on inside front cover and last page, also stamped 'withdrawn'. ; Ex University Library; 6 5/8 x 10 ". Seller Inventory # 97742
Quantity: 1 available
Stock Image
ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER
Published by
World Scientific Publishing Comp, 1994
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWOWA002JM0
Quantity: 5 available
Seller Image
Algorithmic Properties of Structures: Selected Papers of E Engeler
Published by
World Scientific Pub Co ( 01.03.1994., 1994
ISBN 10: 9810208723
ISBN 13: 9789810208721
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 257 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 25,7 x 16,8 x 2,0 cm, Gebundene Ausgabe. Seller Inventory # 368149
Quantity: 1 available
Stock Image
ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER
Published by
World Scientific Publishing Company, 1994
ISBN 10: 9810208723
ISBN 13: 9789810208721
New
Hardcover
Seller: BOOKWEST, Phoenix, AZ, U.S.A.
Seller rating 3 out of 5 stars
Hardcover. Condition: New. US SELLER SHIPS FROM USA. Seller Inventory # ORD4-S0-HC-9810208723-1P4-B10-BRK-1994
Quantity: 1 available