Subrecursive Programming Systems Complexity and Succinctness

Subrecursive Programming Systems Complexity and Succinctness

Bibliographic Details
Main Authors:	Case, John (Author), Royer, James S. (Author)
Format:	Book
Language:	English
Published:	Boston Birkhauser 1994
Series:	Progress in Theoretical Computer Science
Subjects:	COMPUTER PROGRAMMING ΕΣΑ

Similar Items

Concurrent programming
by: Snow, C.R
Published: (1992)

Principles and Practice of Constraint Programming The Newport Papers
Published: (1995)

Concurrent Constraint Programming
by: Saraswat, Vijay A.
Published: (1993)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

How to Write Parallel Programs A First Course
by: Carriero, Nicholas, et al.
Published: (1990)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
by: Chien, Andrew A.
Published: (1993)

Logic Programming and Databases
by: Ceri, S., et al.
Published: (1990)

String Searching Algorithms
by: Stephen, Graham A.
Published: (1994)

Problems on Algorithms
by: Parberry, Ian
Published: (1995)

Mathematics for the analysis of algorithms
by: Greene, Daniel H., et al.
Published: (1990)

Constraint Logic Programming Selected Research
Published: (1993)

Semantics of Sequential and Parallel Programming
by: Best, Eike
Published: (1996)

Introduction to algorithms
by: Cormen, Thomas H., et al.
Published: (1990)

Computing in Horn Clause Theories
by: Padawitz, Peter
Published: (1988)

Topics in Distributed Algorithms
by: Tel, Gerard
Published: (1991)

Using MPI Portable Parallel Programming with the Message-Passing Interface
by: Gropp, William, et al.
Published: (1994)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

The logic programming paradigm A 25-year perspective
Published: (1999)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

Semantics of Programming Languages
by: Tennent, R. D.
Published: (1991)

From logic programming to prolog
Published: (1997)

Database Programming Languages Deductive, Functional, Persistent and Object-Oriented Aproaches
by: Cooper, Richard, et al.
Published: (1996)

Linear Programming
by: Chvatal, Vasek
Published: (1983)

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
by: Ullman, Chris, et al.
Published: (2002)

High-order operational techniques in semantics
Published: (1998)

Verification of sequential and concurrent programs
by: Apt, Krzysztof
Published: (1997)

Verifying temporal properties of systems
by: Bradfield, Julian Charles
Published: (1992)

Concurrent programming in ML
by: Reppy, John H.
Published: (1999)

Publisher 2000 Get professional results
by: Parker, Roger C.
Published: (2000)

Algorithms A functional programming approach
by: Rabhi, Fethi, et al.
Published: (1999)

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

Communication Complexity and Parallel Computing
by: Hromkovic, Juraj
Published: (1997)

outlook 98 in 24 hours SAMS teach yourself
by: Nicholson, John R.
Published: (1998)

Database Management Systems
by: Ramakrishnan, Raghu
Published: (1998)

The Visual Mind Art and Mathematics
Published: (1993)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
by: Zwiers, J.
Published: (1989)

Exploring discrete mathematics with maple
by: Devitt, John S., et al.
Published: (1997)

The design and analysis of algorithms
by: Kozen, Dexter C.
Published: (1992)

Poisson Approximation
by: Barbour, A. D., et al.
Published: (1992)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_m1kpifu8r8ts6djk1j2l2nllnj