› › 1995 Ieee Structure In Complexity Theory




Complexity Theory

Author : Lane A. Hemaspaandra

Publisher : Springer Science & Business Media

Page : 360 pages

File Size : 10,38 MB

Release : 1997-06-05

Category : Computers

ISBN : 9780387949734

Get eBook

Book Description

This volume provides a survey of the subject in the form of a collection of articles written by experts, that together provides a comprehensive guide to research. The editors'aim has been to provide an accessible description of the current stae of complexity theory, and to demonstrate the breadth of techniques and results that make this subject so exciting. Thus, papers run the gamut from sublogarithmic space to exponential time, and from new combinatorial techniques to interactive proof systems.





Mathematical Foundations of Computer Science 1995

Author : Juraj Wiedermann

Publisher : Springer Science & Business Media

Page : 614 pages

File Size : 40,35 MB

Release : 1995-08-16

Category : Computers

ISBN : 9783540602460

Get eBook

Book Description

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.







Complexity, Logic, and Recursion Theory

Author : Andrea Sorbi

Publisher : CRC Press

Page : 380 pages

File Size : 48,88 MB

Release : 2019-05-07

Category : Mathematics

ISBN : 1482269759

Get eBook

Book Description

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."



Mathematical Foundations of Computer Science 2005

Author : Joanna Jedrzejowicz

Publisher : Springer

Page : 829 pages

File Size : 12,9 MB

Release : 2005-09-14

Category : Computers

ISBN : 3540318674

Get eBook

Book Description

This volume contains the papers presented at the 30th Symposium on Mathematical Foundations of Computer Science (MFCS 2005) held in Gdansk, Poland from August 29th to September 2nd, 2005.



STACS 95

Author : Ernst W. Mayr

Publisher : Springer Science & Business Media

Page : 698 pages

File Size : 46,43 MB

Release : 1995-02-15

Category : Computers

ISBN : 9783540590422

Get eBook

Book Description

This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.