pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: CORNERSTONES UNDECIDABILTY
By: Grzegorz Rozenberg, Arto Salomaa
Format: Paperback

List price: £55.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 0132974258
ISBN 13: 9780132974257
Publisher: PEARSON EDUCATION (US)
Pub. date: 1 April, 1994
Pages: 216
Description: Presents an intellectually challenging aspect of computer related mathematics/logic in a way which should make it more accessible. The authors look at different types of reduction to show undecidability, using the novel approach of conversation between three famous mathematicians.
Synopsis: This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form. The authors are of international repute and they provide a modern and authoritative treatment of undecidability with special emphasis on rigorous proofs. Numerous worked examples are included.
Publication: US
Imprint: Prentice Hall
Returns: Non-returnable
Some other items by this author:
A DECADE OF CONCURRENCY: REFLECTIONS AND PERSPECTIVES (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS 1986 (PB)
ADVANCES IN PETRI NETS 1988 (PB)
ADVANCES IN PETRI NETS 1990 (PB)
APPLICATION OF PETRI NETS TO COMMUNICATION NETWORKS (PB)
ASPECTS OF MOLECULAR COMPUTING (PB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
AUTOMATA-THEORETIC ASPECTS OF FORMAL POWER SERIES (HB)
AUTOMATA-THEORETIC ASPECTS OF FORMAL POWER SERIES (PB)
BOOK OF TRACES, THE (HB)
CARL ADAM PETRI: IDEAS, PERSONALITY, IMPACT (HB)
CHINESE REMAINDER THEOREM: APPLICATIONS IN COMPUTING, CODING, CRYPTOGRAPHY (HB)
COMPUTATION AND AUTOMATA
COMPUTATION AND AUTOMATA (HB)
COMPUTATION AND AUTOMATA (PB)
CONCURRENCY AND HARDWARE DESIGN (PB)
CONCURRENCY AND NETS (PB)
CONCURRENT OBJECT-ORIENTED PROGRAMMING AND PETRI NETS (PB)
CURRENT TRENDS IN CONCURRENCY (PB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE - ENTERING THE 21ST CENTURY (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY (IN 2 VOLUMES) (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY - VOLUME 2: FORMAL MODELS AND SEMANTICS (HB)
DEVELOPMENTS IN LANGUAGE THEORY (HB)
DEVELOPMENTS IN LANGUAGE THEORY (PB)
DEVELOPMENTS IN LANGUAGE THEORY II, AT THE CROSSROADS OF MATHEMATICS, COMPUTER SCIENCE AND BIOLOGY (HB)
DEVELOPMENTS IN LANGUAGE THEORY: FOUNDATIONS, APPLICATIONS, AND PERSPECTIVES - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE (HB)
DNA COMPUTING (HB)
DNA COMPUTING (PB)
DNA COMPUTING (PB)
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE AND BIOLOGY (PB)
HALF-CENTURY OF AUTOMATA THEORY, A: CELEBRATION AND INSPIRATION (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1: FOUNDATIONS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 2: APPLICATIONS, LANGUAGES AND TOOLS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION (HB)
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING (HB)
HIGH-LEVEL PETRI NETS (PB)
J.UCS THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (PB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
LECTURES ON EMBEDDED SYSTEMS (PB)
LECTURES ON PETRI NETS I: BASIC MODELS (PB)
LECTURES ON PETRI NETS II: APPLICATIONS (PB)
LINDENMAYER SYSTEMS (HB)
LINDENMAYER SYSTEMS (PB)
LINEAR TIME, BRANCHING TIME AND PARTIAL ORDER IN LOGICS AND MODELS FOR CONCURRENCY (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MODELLING IN MOLECULAR BIOLOGY (HB)
MODELLING IN MOLECULAR BIOLOGY (PB)
MULTISET PROCESSING (PB)
NANOTECHNOLOGY (HB)
NANOTECHNOLOGY (PB)
NEW TRENDS IN FORMAL LANGUAGES (PB)
PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS (PB)
PETRI NETS (PB)
PUBLIC-KEY CRYPTOGRAPHY (HB)
PUBLIC-KEY CRYPTOGRAPHY (PB)
RAINBOW OF COMPUTER SCIENCE (PB)
RESULTS AND TRENDS IN THEORETICAL COMPUTER SCIENCE (PB)
SEMANTICS, FOUNDATIONS AND APPLICATIONS (PB)
STEPWISE REFINEMENT OF DISTRIBUTED SYSTEMS (PB)
STRUCTURES IN LOGIC AND COMPUTER SCIENCE (PB)
THE MATHEMATICAL THEORY OF L SYSTEMS
THE OXFORD HANDBOOK OF MEMBRANE COMPUTING (HB)
THEORY OF 2-STRUCTURES, THE: A FRAMEWORK FOR DECOMPOSITION AND TRANSFORMATION OF GRAPHS (HB)

TOP SELLERS IN THIS CATEGORY
Computational Physics (Paperback)
Wiley-VCH Verlag GmbH
Our Price : £74.25
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £43.99
more details
A Dictionary of Computer Science (Paperback)
Oxford University Press
Our Price : £10.21
more details
Garbage Collection (Hardback)
John Wiley and Sons Ltd
Our Price : £55.76
more details
R for SAS and SPSS Users (Hardback)
Springer-Verlag New York Inc.
Our Price : £82.49
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket