Samson Abramsky – författare
Visar alla böcker från författaren Samson Abramsky. Handla med fri frakt och snabb leverans.
24 produkter
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Av Samson Abramsky, T. S. Maibaum m. fl.
Inbunden, 1995
7531 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to …
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av Samson Abramsky, Dov M. Gabbay m. fl.
Inbunden, 2001
9547 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any …
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Av E. -R. Olderog, C. J. Van Rijsbergen m. fl.
Häftad, 2005
804 kr
Lägg i varukorg
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent …
Extensions of First-Order Logic
Av Maria Manzano, C. J. Van Rijsbergen m. fl.
Häftad, 2005
1188 kr
Lägg i varukorg
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to …
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Av Robert L. Carpenter, C. J. Van Rijsbergen m. fl.
Häftad, 2005
804 kr
Lägg i varukorg
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for …
The Uncertain Reasoner's Companion
A Mathematical Perspective
Av J. B. Paris, C. J. Van Rijsbergen m. fl.
Häftad, 2006
838 kr
Lägg i varukorg
Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics …
Logic and Computation
Interactive Proof with Cambridge LCF
Av Lawrence C. Paulson, C. J. Van Rijsbergen m. fl.
Häftad, 1990
911 kr
Lägg i varukorg
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the …
Formal Methods in Artificial Intelligence
Av Allan M. Ramsay, C. J. Van Rijsbergen m. fl.
Häftad, 1991
737 kr
Lägg i varukorg
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection …
Topology via Logic
Av Steven Vickers, C. J. Van Rijsbergen m. fl.
Häftad, 1996
860 kr
Lägg i varukorg
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by …
Algorithmic Information Theory
Av Gregory. J. Chaitin, C. J. Van Rijsbergen m. fl.
Häftad, 2004
905 kr
Lägg i varukorg
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of …
Updating Logical Databases
Av Marianne Winslett, C. J. Van Rijsbergen m. fl.
Häftad, 2005
670 kr
Lägg i varukorg
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has …
The Optimal Implementation of Functional Programming Languages
Av Andrea Asperti, Stefano Guerrini m. fl.
Inbunden, 1998
1394 kr
Lägg i varukorg
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction …
Mathematical Foundations of Information Flow
Av Samson Abramsky, Michael Mislove
Inbunden, 2012
1546 kr
Lägg i varukorg
This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tulane University in New Orleans, Louisiana. The varying perspectives of the researchers are evident in the topics represented in the volume, including …
Dependence Logic
Theory and Applications
Av Samson Abramsky, Juha Kontinen m. fl.
Inbunden, 2016
551 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Dependence Logic
Theory and Applications
Av Heribert Vollmer, Jouko Vaananen m. fl.
E-bok, 2016
718 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Dependence Logic
Theory and Applications
Av Samson Abramsky, Juha Kontinen m. fl.
Häftad, 2018
551 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Category Theory and Computer Programming
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Av David Pitt, Samson Abramsky m. fl.
Häftad, 1986
567 kr
Lägg i varukorg
Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Häftad, 2001
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research …
Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
E-bok, 2003
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research …
Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings
Av David H. Pitt, Pierre-Louis Curien m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Av Samson Abramsky, Cyril Gavoille m. fl.
Häftad, 2010
1127 kr
Lägg i varukorg
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Av Paul Spirakis, Friedhelm Meyer auf der Heide m. fl.
E-bok, 2010
1502 kr
Lägg i varukorg
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Av Samson Abramsky, Cyril Gavoille m. fl.
Häftad, 2010
1127 kr
Lägg i varukorg
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Av Paul Spirakis, Friedhelm Meyer auf der Heide m. fl.
E-bok, 2010
1470 kr
Lägg i varukorg
