Current Trends in Theoretical

By: Grzegorz Rozenberg (Editor), Arto Salomaa (Editor), Herbert Edelsbrunner (Editor), Hartmut Ehrig (Editor), Yuri Gurevich (Editor)

Write A Review

Hardcover | 1 December 1992

At a Glance

Hardcover
640 Pages

Dimensions(cm)
22.23 x 15.88 x 3.81

Hardcover

RRP $316.99

$285.75

10%OFF

or 4 interest-free payments of $71.44 with

Ships in 15 to 25 business days

The book contains a collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal langauges and language-theoretic modelling to computational geometry. The material is based on columns and articles thathave appeared in the "EATCS Bulletin". In spite of the fact that very recent research is discussed, the largely informal style of writing should make the book accessible to readers with little or no previous knowledge of the topics.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Booktopia Publisher Services World Scientific Publishing

Computational Geometry	p. 1
Introductory Remarks	p. 2
What is Computational Geometry?	p. 3
Publishing in Computational Geometry	p. 7
Shaving Logs	p. 10
The 4-th Computational Geometry Symposium	p. 18
Two Weeks Worth of Teaching	p. 22
Two Small Results	p. 33
Computational Geometry Research in Japan	p. 40
Meetings in 1991	p. 45
Algebraic Specification	p. 49
Introductory Remarks	p. 50
On the Potential Role of Algebraic Specification within Computer Science	p. 51
Some Initial Sections of the Algebraic Specification Tale	p. 54
Memories of ADJ	p. 76
Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems	p. 82
The Specification System OBSCURE: A Short Survey	p. 111
Algebraic Specification and Formal Methods for Program Development: What are the Real Problems?	p. 115
ESF-Concepts Linked with Algebraic Module Specifications	p. 121
Linking Schemas and Module Specifications: A Proposal	p. 129
Concepts and Compatibility Requirements for Implementations and Transformations of Specifications	p. 133
New Compatibility Results for Implementations within the Initial Algebraic Approach	p. 149
New Concepts for Amalgamation and Extension in the Framework of Specification Logics	p. 161
Towards the Algebraic Specification of Classes in Object Oriented Programming	p. 183
Restriction Constructions in Specification Logics	p. 195
Towards an Algebraic Specification Framework for the VLSI Design Process	p. 202
A Short Oxford Survey of Order Sorted Algebra	p. 209
Logic in Computer Science	p. 223
Introductory Remarks	p. 224
On Kolmogorov Machines and Related Issues	p. 225
Infinite Games	p. 235
The Challenger-Solver Game: Variations on the Theme of P = NP	p. 245
On the Classical Decision Problem	p. 254
Evolving Algebras: an Attempt to Discover Semantics	p. 266
Zero-One Laws	p. 293
Topoi and Computation	p. 310
Lower Bounds for the Complexity of Theories	p. 318
Forms of Semantic Specification	p. 332
Declarative Semantics of Logic Programming	p. 354
A Brief Guide to Linear Logic	p. 377
Structural Complexity	p. 395
Introductory Remarks	p. 396
A Retrospective on Structural Complexity	p. 397
Sparse Complete Sets for NP and the Optimal Collapse of the Polynomial Hierarchy	p. 403
Collapsing Hierarchies	p. 412
Some Observations about Relativization of Space Bounded Computations	p. 423
On the Importance of Being [actual symbol not reproducible]-Hard	p. 435
Godel, von Neumann and the P = ? NP Problem	p. 445
A View of Structural Complexity Theory	p. 451
Counting Hierarchies: Polynomial Time and Constant Depth Circuits	p. 469
On IP = PSPACE and Theorems with Narrow Proofs	p. 484
On Unique Satisfiability and Randomized Reductions	p. 494
Complexity Classes for Partial Functions	p. 504
Is #P Closed Under Subtraction	p. 523
Relativization: a Revisionistic Retrospective	p. 537
Formal Language Theory	p. 549
Introductory Remarks	p. 550
In the Prehistory of Formal Language Theory: Gauss Languages	p. 551
What Emil Said About the Post Correspondence Problem	p. 563
Decidability in Finite Automata	p. 572
Games played on the Plane: Solitaire and Cellular Automata	p. 579
The Impact of the DOL Problem	p. 586
L Codes and L Systems with Immigration	p. 595
Parallel Communicating Grammar Systems	p. 603
Density in Discrete Systems	p. 616
Table of Contents provided by Blackwell. All Rights Reserved.

Current Trends in Theoretical

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Project Maven

A Marine Colonel, His Team, and the Dawn of AI Warfare

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

Empire of AI

Inside the reckless race for total domination

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

How We Learn

The New Science of Education and the Brain

We Are Not Machines

The Fight for the Future of Work

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Co-Intelligence

Living and Working with AI

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

Artificial Intelligence

A Modern Approach, 4th Global Edition

Distraction Diet

Cut Noise, Keep What Matters: Reduce mental clutter and protect attention every day

Artificial Intelligence in Detecting Autism

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

The Injustice of Fairness

Algorithmic Reparation and the Case for Redress

Accelerating Deep Neural Networks

Control, Robotics and Sensors

Design, Control and Applications

AI and Data Science in Medical Research

New Developments and Advances

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

We Are As Gods

A Survival Guide for the Age of Abundance

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

This product is categorised by