Items related to Relational Methods in Computer Science

Relational Methods in Computer Science ISBN 13: 9783709165119

Relational Methods in Computer Science - Softcover

 
9783709165119: Relational Methods in Computer Science
Softcover
ISBN 10: 3709165113 ISBN 13: 9783709165119
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Ströhlein).- Symbol Table.- Addresses of Contributors.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3709165113
ISBN 13 
9783709165119
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783211829714: Relational Methods in Computer Science (Advances in Computing Sciences)

Featured Edition

ISBN 10:  3211829717 ISBN 13:  9783211829714
Publisher: Springer, 1997
Softcover