Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Semantics of Programming Languages and Model Theory (Algebra, Logic, and Applications, Vol 5)
Rok: 1993
ISBN: 9782881249358
OKCZID: 110048277
Citace (dle ČSN ISO 690):
DROSTE, Manfred., ed. a GUREVICH, Yuri, ed. Semantics of programming languages and model theory. Yverdon: Gordon and Breach Science Publishers, 1993. 366 s. Algebra, logic and applications, vol. 5.
Anotace
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