1995 IEEE Structure in Complexity Theory
Author :
Publisher :
Page : 348 pages
File Size : 27,54 MB
Release : 1995
Category : Complexity Theory
ISBN :
Author :
Publisher :
Page : 348 pages
File Size : 27,54 MB
Release : 1995
Category : Complexity Theory
ISBN :
Author :
Publisher :
Page : 241 pages
File Size : 24,92 MB
Release : 1987
Category : Computational complexity
ISBN : 9780818607943
Author : Lane A. Hemaspaandra
Publisher : Springer Science & Business Media
Page : 360 pages
File Size : 23,43 MB
Release : 1997-06-05
Category : Computers
ISBN : 9780387949734
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.
Author :
Publisher :
Page : pages
File Size : 23,18 MB
Release : 2002
Category :
ISBN :
Author : Juraj Wiedermann
Publisher : Springer Science & Business Media
Page : 614 pages
File Size : 22,9 MB
Release : 1995-08-16
Category : Computers
ISBN : 9783540602460
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.
Author :
Publisher :
Page : 0 pages
File Size : 46,83 MB
Release : 1987
Category :
ISBN :
Author : Structure in Complexity Theory Conference (10, 1995, Minneapolis, Minn.)
Publisher :
Page : 139 pages
File Size : 41,63 MB
Release : 1997
Category :
ISBN :
Author : Andrea Sorbi
Publisher : CRC Press
Page : 380 pages
File Size : 46,53 MB
Release : 2019-05-07
Category : Mathematics
ISBN : 1482269759
"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."
Author : Joanna Jedrzejowicz
Publisher : Springer
Page : 829 pages
File Size : 12,68 MB
Release : 2005-09-14
Category : Computers
ISBN : 3540318674
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.
Author : Ernst W. Mayr
Publisher : Springer Science & Business Media
Page : 698 pages
File Size : 43,56 MB
Release : 1995-02-15
Category : Computers
ISBN : 9783540590422
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.