Items related to Semantics of Programming Languages and Model Theory...
Synopsis
The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simultaneously, complex mathematical methods have defined new applications in the entire area of semantics of programming languages. Many of the more difficult problems in the theory of computation require a combination of methods from model theory, logic and ordered structures as well as from semantics. The articles in this book deal with both the specialised aspects of the relationship and with pure methods in each of the fields of model theory, ordered structures and semantics. Whereas some chapters are concerned with original research in this area, review articles for the nonspecialist are also included.
M. Droste is at the University GHS Essen, Germany and Y. Gurevich is at the University of Michigan, US
"synopsis" may belong to another edition of this title.
- PublisherCRC Press
- Publication date1993
- ISBN 10 2881249353
- ISBN 13 9782881249358
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages374
Buy New
View this item
US$ 321.13
Shipping:
US$ 12.73
From United Kingdom to U.S.A.
Search results for Semantics of Programming Languages and Model Theory...
Stock Image
Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good+. Dust Jacket Condition: No Dust Jacket. (?); (?). Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear. ; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming language semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science. ; 15.7 x 23. 2 x 3.2 cm ; vii, 366 pages. Seller Inventory # LCB62270
Quantity: 1 available
Seller Image
Semantics of Programming Languages and Model Theory (Classics in the History and Philosophy of Science)
Published by
Gordon & Breach Science Publishers Ltd 01.05.1993., 1993
ISBN 10: 2881249353
ISBN 13: 9782881249358
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 416 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,7 x 3,0 cm, Gebundene Ausgabe. Seller Inventory # 383858
Quantity: 1 available
Stock Image
Semantics of Programming Languages and Model Theory (Algebra, Logic, and Applications, Vol 5)
Published by
Gordon & Breach Science Pub, 1993
ISBN 10: 2881249353
ISBN 13: 9782881249358
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock. Seller Inventory # zk2881249353
Quantity: 1 available