Semantics and Algebraic Specification

Semantics and Algebraic Specification
Author: Jens Palsberg
Publisher: Springer Science & Business Media
Total Pages: 418
Release: 2009-08-28
Genre: Computers
ISBN: 3642041639

Download Semantics and Algebraic Specification Book in PDF, Epub and Kindle

proceedings of the symposium. Somecontributorswereunabletoattendthe event.

All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework
Author: Manuel Clavel
Publisher: Springer
Total Pages: 799
Release: 2007-07-19
Genre: Computers
ISBN: 3540719997

Download All About Maude - A High-Performance Logical Framework Book in PDF, Epub and Kindle

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 in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Computational Logic

Computational Logic
Author: Ulrich Berger
Publisher: Springer Science & Business Media
Total Pages: 451
Release: 2012-12-06
Genre: Computers
ISBN: 3642586228

Download Computational Logic Book in PDF, Epub and Kindle

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field. Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Rewriting Logic as a Logical and Semantic Framework

Rewriting Logic as a Logical and Semantic Framework
Author: SRI International. Computer Science Laboratory
Publisher:
Total Pages: 74
Release: 1993
Genre: Rewriting systems (Computer science)
ISBN:

Download Rewriting Logic as a Logical and Semantic Framework Book in PDF, Epub and Kindle

Finally, the use of rewriting logic as a logic of change that overcomes the frame problem in AI is also discussed."

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications
Author: Dorel Lucanu
Publisher: Springer
Total Pages: 199
Release: 2016-08-17
Genre: Computers
ISBN: 3319448021

Download Rewriting Logic and Its Applications Book in PDF, Epub and Kindle

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016. The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications
Author: Kyungmin Bae
Publisher: Springer Nature
Total Pages: 299
Release: 2022-07-29
Genre: Computers
ISBN: 3031124413

Download Rewriting Logic and Its Applications Book in PDF, Epub and Kindle

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

Constructive Semantics

Constructive Semantics
Author: Christina Weiss
Publisher: Springer Nature
Total Pages: 193
Release: 2019-10-15
Genre: Philosophy
ISBN: 3030213137

Download Constructive Semantics Book in PDF, Epub and Kindle

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central issues in the epistemology and philosophy of mathematics, namely the relationship between phenomenological meaning constitution and constructive semantics. Contributing authors explore deep structural connections and fundamental differences between phenomenology and constructivism. Papers are drawn from contributions to a prestigious workshop held at the University of Friedrichshafen. Readers will discover insight into structural connections between the phenomenological concept of meaning constitution and constructivist concepts of meaning. Discussion ranges from more specific conceptualizations in the philosophy of logic and mathematics to more general considerations in epistemology, inferential semantics and phenomenology. Questions such as a possible phenomenological understanding of the relationship between structural rules and particle rules in dialogical logic are explored. Significant aspects of both phenomenology and dialectics, and dialectics and constructivism emerge. Graduates and researchers of philosophy, especially logic, as well as scholars of mathematics will all find something of interest in the expert insights presented in this volume.