Author: Yngve LamoPublisher:
ISBN:
Category :
Languages : en
Pages : 48
Book Description
Logic with Equality for Multialgebras
Author: Yngve LamoQualifier-free Logic for Multialgebraic Theories
Author: Yngve LamoAsymptotic Overview on Separating Codes
Author: Gérard D. CohenComputer Science Logic
Author: Leszek PacholskiPublisher: Springer Science & Business Media
ISBN: 9783540600176
Category : Computers
Languages : en
Pages : 564
Book Description
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Broadcast Domination Algorithms for Interval Graphs, Series-parallel Graphs, and Trees
Author: Jean R. S. BlairA Wide-range Algorithm for Minimal Triangulation from an Arbitrary Ordering
Author: Anne BerryA Construction for Binary Sequence Sets with Low Peak-to-average Power Ratio
Author: Matthew G. ParkerOptimal Adjustment of Surfaces to Point Sets
Author: Ole Kåre EndresenRecent Trends in Algebraic Development Techniques
Author: Martin WirsingPublisher: Springer
ISBN: 3540400206
Category : Computers
Languages : en
Pages : 466
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
New Topics in Theoretical Computer Science
Author: Oleg N. TerikhovskyPublisher: Nova Publishers
ISBN: 9781604561005
Category : Computers
Languages : en
Pages : 346
Book Description
Theoretical computer science focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages. This new book presents the latest research in the field from around the globe.