Books in Mathematical logic and formal languages

Constraints, Language and Computation

1st Edition
June 28, 2014
M. A. Rosner + 2 more
English
eBook
9 7 8 0 0 8 0 5 0 2 9 6 0

Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.

Extrapolation Methods

1st Edition
Volume 2
October 24, 2013
C. Brezinski + 1 more
English
eBook
9 7 8 0 0 8 0 5 0 6 2 2 7

This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.

Combinatory Logic

1st Edition
Volume 65
June 17, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 7 7 6

Logic Colloquium 76, Proceedings of a conference

1st Edition
Volume 87
June 15, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 9 6 7

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

1st Edition
Volume 44
June 15, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 7 1 4

CAFE: An Industrial-Strength Algebraic Formal Method

1st Edition
October 6, 2000
K. Futatsugi + 2 more
English
eBook
9 7 8 0 0 8 0 5 2 8 4 0 3

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees.The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.