The computational complexity of counting

The computational complexity of counting

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jerrum, Mark 1955- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1994
Schriftenreihe:	Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 296
Schlagworte:	Computer software Mathematics Mathematik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On computing the subset graph of a collection of sets
von: Pritchard, Paul
Veröffentlicht: (1994)

A theory of bisimulation for the pi-calculus
von: Sangiorgi, Davide
Veröffentlicht: (1993)

RAISE specification of the MD4 message digest algorithm
von: Harry, Andrew
Veröffentlicht: (1992)

On the decidability of model checking for several my-calculi and Petri nets
von: Esparza, Javier 1964-
Veröffentlicht: (1993)

Completeness of proof systems for equational specifications
von: MacQueen, David B., et al.
Veröffentlicht: (1984)

Logical characterization of bounded query classes II polynomial-time oracle machines
von: Stewart, Iain A.
Veröffentlicht: (1991)

Positive subtyping
von: Hofmann, Martin, et al.
Veröffentlicht: (1994)

On completeness for NP via projection translations
von: Stewart, Iain A.
Veröffentlicht: (1991)

Multiple inheritance via intersection types
von: Compagnoni, Adriana B., et al.
Veröffentlicht: (1993)

Unsatisfied variables in local search
von: Gent, Ian P., et al.
Veröffentlicht: (1994)

Domain theoretic models of polymorphism
von: Coquand, Thierry 1961-, et al.
Veröffentlicht: (1987)

PEPA: performance enhanced process algebra
von: Hillston, Jane
Veröffentlicht: (1993)

When is a graphical sequence stable?
von: Jerrum, Mark 1955-, et al.
Veröffentlicht: (1989)

Relational parametricity and local variables (Preliminary report)
von: O'Hearn, P. W., et al.
Veröffentlicht: (1992)

The systematic derivation of control signals for systolic arrays
von: Xue, Jingling, et al.
Veröffentlicht: (1991)

List homomorphic parallel algorithms for bracket matching
von: Cole, Murray
Veröffentlicht: (1993)

Modal and temporal logics
von: Stirling, Colin
Veröffentlicht: (1991)

Recursive program optimization through inductive synthesis proof transformation
von: Madden, Peter
Veröffentlicht: (1992)

A formulation of the simple theory of types (for Isabelle)
von: Paulson, Lawrence C.
Veröffentlicht: (1989)

Increasing the versatility of heuristic based theorem provers
von: Manning, Alistair, et al.
Veröffentlicht: (1993)

An empirical analysis of search in GSAT
von: Gent, Ian P., et al.
Veröffentlicht: (1993)

What is a categorical model of intuistionistic linear logic?
von: Bierman, G. M.
Veröffentlicht: (1994)

The NPL Data Approximation Subroutine Library current and planned facilities
von: Cox, Maurice G.
Veröffentlicht: (1987)

The weakest prespecification
von: Hoare, Charles A. R. 1934-, et al.
Veröffentlicht: (1985)

Computer-related mathematics and statistics
von: Patterson, Brian
Veröffentlicht: (1988)

A categorical programming language
von: Hagino, Tatsuya
Veröffentlicht: (1987)

A CCS specification of the OSI network service
von: Shields, Michael William 1950-, et al.
Veröffentlicht: (1983)

An architecture of UNIX United
von: Black, James Peterson, et al.
Veröffentlicht: (1986)

The NUNET-UNIX interface protocol description
von: Hughes, Frank Lawrence
Veröffentlicht: (1985)

A COSY banker specification of highly parallel and distributed resource management
von: Lauer, Peter E., et al.
Veröffentlicht: (1980)

A view mechanism for an integrated project support environment
von: Brown, Alan W.
Veröffentlicht: (1988)

The application of programming languages to the production of reference implementations
von: Harry, Andrew
Veröffentlicht: (1992)

The unit silicon compiler
von: Deas, Alexander R.
Veröffentlicht: (1983)

Verifications of sections of the FTAM protocol using Prolog
von: Bunting, John W.
Veröffentlicht: (1992)

The formal design and evaluation of a variety of medical diagnostic programs
von: Todd, Bryan S., et al.
Veröffentlicht: (1993)

The treatment of persistent objects in Arjuna
Veröffentlicht: (1989)

On the treatment of orphans in a distributed system
von: Shrivastava, Santosh K.
Veröffentlicht: (1983)

State of the art techniques in automatic generation of reference implementations & test code from formal specifications
von: Harry, Andrew
Veröffentlicht: (1992)

The value of reference implementations and prototyping in a formal design and testing methodology
von: Harry, Andrew
Veröffentlicht: (1992)

Optimisation of FP programs by linearisation
von: Harrison, Peter G.