> Details

Progress in theoretical computer science

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Serial; Monograph Series
Title: Progress in theoretical computer science
Published: Boston, Mass.; Basel; Berlin: Birkhäuser, 1991-
Publication information: 1.1991 -
Language: English
Keywords: Monografische Reihe
Origination:
Footnote:

Access

This is the bibliographic rereference for a superordinate order. SLUB holdings see "Multivolume Work" or "Publishers' Series"

> Publishers' series

Straubing, Howard [Author]
Finite automata, formal logic, and circuit complexity Howard Straubing
Boston, Mass. [u.a.]: Birkhäuser, 1994

Bini, Dario [Author]; Pan, Victor Y. [Author]
Polynomial and matrix computations 1 Fundamental algorithms Dario Bini; Victor Y. Pan
Boston; Berlin [u.a.]: Birkhäuser, 1994

Hußmann, Heinrich [Author]
Nondeterminism in algebraic specifications and algebraic programs Heinrich Hussmann
Boston; Berlin [u.a.]: Birkhäuser, 1993

Curien, Pierre-Louis [Author]
Categorical combinators, sequential algorithms, and functional programming Pierre-Louis Curien
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1993

Bradfield, Julian [Author]
Verifying temporal properties of systems Julian Charles Bradfield
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1992

Bachmair, Leo [Author]
Canonical equational proofs Leo Bachmair
Boston; Berlin; [Stuttgart] [u.a.]: Birkhäuser, 1991

Ko, Ker-I [Author]
Complexity theory of real functions Ker-I Ko
Boston, Mass. [u.a.]: Birkhäuser, 1991

Karloff, Howard [Author]
Linear programming Howard Karloff
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1991

Zhang, Guo-Qiang [Author]
Logic of domains Guo-Qiang Zhang
Boston [u.a.]: Birkhäuser, 1991