Author(s)
Bibliographic Information
Progress in computer science and applied logic
Birkhäuser
Search this Book/Journal
-
1
- Temporal type theory : a topos-theoretic approach to systems and behavior
-
Patrick Schultz, David I. Spivak
Birkhäuser c2019 Progress in computer science and applied logic v. 29
Available at 1 libraries
-
2
- Advances in proof theory
-
Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
Birkhäuser , Springer c2016 Progress in computer science and applied logic v. 28
Available at 9 libraries
-
3
- Mathematical logic : foundations for information science
-
Wei Li
Birkhäuser , Springer c2014 2nd rev. ed Progress in computer science and applied logic v. 25
Available at 7 libraries
-
4
- Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
-
Manindra Agrawal, Vikraman Arvind
Birkhauser 2014 Progress in computer science and applied logic v. 26
Available at 7 libraries
-
5
- Mathematical logic : foundations for information science
-
Wei Li
Birkhäuser c2010 Progress in computer science and applied logic v. 25
Available at 14 libraries
-
6
- A Graph-Theoretic Approach to Enterprise Network Dynamics
-
Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis
Birkhäuser Boston c2007 Progress in computer science and applied logic v. 24
Available at 5 libraries
-
7
- Coding, cryptography and combinatorics
-
Keqin Feng, Harald Niederreiter, Chaoping Xing, editors
Birkhäuser c2004 Progress in computer science and applied logic v. 23
: sz , : us
Available at 25 libraries
-
8
- Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
-
Igor Shparlinski
Springer Basel AG 2003 Progress in computer science and applied logic v. 22
: pbk
Available at 1 libraries
-
9
- Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
-
Igor Shparlinski
Birkhäuser c2003 Progress in computer science and applied logic v. 22
Available at 22 libraries
-
10
- Automata theory and its applications
-
Bakhadyr Khoussainov, Anil Nerode
Birkhäuser c2001 Progress in computer science and applied logic v. 21
Available at 25 libraries
-
11
- Cryptography and computational number theory
-
Kwok-Yan Lam ... [et al.], editors
Birkhäuser Verlag c2001 Progress in computer science and applied logic v. 20
Available at 31 libraries
-
12
- Interpolating cubic splines
-
Gary D. Knott
Birkhäuser c2000 Progress in computer science and applied logic v. 18
: us , : sz
Available at 8 libraries
-
13
- An introduction to quantum computing algorithms
-
Arthur O. Pittenger
Birkhäuser c2000 Progress in computer science and applied logic v. 19
: alk. paper
Available at 39 libraries
-
14
- Number theoretic methods in cryptography : complexity lower bounds
-
Igor Shparlinski
Birkhäuser c1999 Progress in computer science and applied logic v. 17
: Boston , : Basel
Available at 35 libraries
-
15
- Bounded queries in recursion theory
-
William I. Gasarch, Georgia A. Martin
Birkhäuser 1999 Progress in computer science and applied logic v. 16
Available at 16 libraries
-
16
- Symbolic rewriting techniques
-
Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
Birkhäuser Verlag c1998 Progress in computer science and applied logic v. 15
: Basel : alk. paper , Boston : pbk. : alk. paper
Available at 18 libraries
-
17
- Learning and geometry : computational approaches
-
David Kueker, Carl Smith, editors
Birkhäuser 1996 Progress in computer science and applied logic v. 14
: us , : gw
Available at 18 libraries
-
18
- Feasible mathematics II
-
Peter Clote, Jeffrey B. Remmel, editors
Birkhäuser 1995 Progress in computer science and applied logic v. 13
: us , : gw
Available at 22 libraries
-
19
- Logical methods : in honor of Anil Nerode's sixtieth birthday
-
John N. Crossley ... [et al.], editors
Birkhäuser 1993 Progress in computer science and applied logic v. 12
: us , : sz
Available at 16 libraries
-
20
- A proof theory for general unification
-
Wayne Snyder
Birkhäuser 1991 Progress in computer science and applied logic v. 11
: Boston , : Basel
Available at 19 libraries