Progress in Theoretical Computer Science

5 réponses.

Straubing, Howard

Finite automata, formal logic, and circuit complexity. - Birkhäuser Verlag, 1994. - (Progress in Theoretical Computer Science).

Sinclair, Alistair

Algorithms for random generation and counting: a Markov chain approach. - Birkhäuser Verlag, 1993. - (Progress in Theoretical Computer Science).

Bradfield, Julian Charles

Verifying temporal properties of systems. - Birkhäuser Verlag, 1992. - (Progress in Theoretical Computer Science).

Streicher, Thomas

Semantics of type theory. Correctness, completeness and independence results. - Birkhäuser Verlag, 1991. - (Progress in Theoretical Computer Science).

Zhang, Guo-Qiang

Logic of domains. - Birkhäuser Verlag, 1991. - (Progress in Theoretical Computer Science).