Semantics and Algebraic Specification

Semantics and Algebraic Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 418
Release :
ISBN-13 : 9783642041631
ISBN-10 : 3642041639
Rating : 4/5 (39 Downloads)

Book Synopsis Semantics and Algebraic Specification by : Jens Palsberg

Download or read book Semantics and Algebraic Specification written by Jens Palsberg and published by Springer Science & Business Media. This book was released on 2009-08-28 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt: proceedings of the symposium. Somecontributorswereunabletoattendthe event.


Semantics and Algebraic Specification Related Books

Semantics and Algebraic Specification
Language: en
Pages: 418
Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.
All About Maude - A High-Performance Logical Framework
Language: en
Pages: 799
Authors: Manuel Clavel
Categories: Computers
Type: BOOK - Published: 2007-07-19 - Publisher: Springer

DOWNLOAD EBOOK

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used
Constructive Semantics
Language: en
Pages: 196
Authors: Christina Weiss
Categories: Philosophy
Type: BOOK - Published: 2019-10-15 - Publisher: Springer Nature

DOWNLOAD EBOOK

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathemat
Logic Program Synthesis and Transformation
Language: en
Pages: 352
Authors: Norbert E. Fuchs
Categories: Computers
Type: BOOK - Published: 2003-05-20 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Be
Rewriting Logic and Its Applications
Language: en
Pages: 299
Authors: Kyungmin Bae
Categories: Computers
Type: BOOK - Published: 2022-07-29 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held