×

Progress in Computer Science and Applied Logic

Short Title: Prog. Comput. Sci. Appl. Log.
Publisher: Birkhäuser, Cham
ISSN: 2297-0576; 2297-0584/e
Online: http://rd.springer.com/bookseries/4814
Predecessor: Progress in Computer Science
Comments: Book series
Documents Indexed: 23 Publications (since 1989)
all top 5

Latest Volumes

29 (2018)
28 (2016)
26 (2014)
25 (2010/2014)
24 (2007)
23 (2004)
22 (2003)
21 (2001)
20 (2001)
19 (2000)
18 (2000)
17 (1999)
16 (1999)
15 (1998)
14 (1996)
13 (1995)
12 (1993)
11 (1991)
10 (1990)
9 (1991)
8 (1989)
1 (1990)
all top 5

Authors / Editors

3 Shparlinski, Igor E.
2 Li, Wei
2 Remmel, Jeffrey Brian
2 Xing, Chaoping
1 Agrawal, Manindra
1 Arvind, Vikraman
1 Bronstein, Manuel Eric
1 Bunke, Horst
1 Buss, Samuel R.
1 Clote, Peter G.
1 Crossley, John Newsome
1 Dickinson, Peter J. C.
1 Feng, Keqin
1 Gasarch, William Ian
1 Grabmeier, Johannes
1 Greene, Daniel H.
1 Kahle, Reinhard
1 Khoussainov, Bakhadyr M.
1 Knott, Gary D.
1 Knuth, Donald Ervin
1 Kraetzl, Miro
1 Kueker, David W.
1 Lam, Kwokyan
1 Martin, Georgia A.
1 Nerode, Anil
1 Niederreiter, Harald
1 Pittenger, Arthur O.
1 Raatz, Stan
1 Schöning, Uwe
1 Schultz, Patrick
1 Scott, Philip J.
1 Shore, Richard Arnold
1 Smith, Carl H.
1 Snyder, Wayne
1 Spivak, David I.
1 Strahm, Thomas
1 Studer, Thomas
1 Sweedler, Moss Eisenberg
1 Wallis, Walter D.
1 Wang, Huaxiong
1 Weispfenning, Volker
all top 5

Fields

16 Computer science (68-XX)
11 Mathematical logic and foundations (03-XX)
10 General and overarching topics; collections (00-XX)
7 Information and communication theory, circuits (94-XX)
4 Number theory (11-XX)
1 Combinatorics (05-XX)
1 Category theory; homological algebra (18-XX)
1 Approximations and expansions (41-XX)
1 Convex and discrete geometry (52-XX)
1 Numerical analysis (65-XX)
1 Quantum theory (81-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

16 Publications have been cited 207 times in 205 Documents Cited by ▼ Year ▼
Automata theory and its applications. Zbl 1083.68058
Khoussainov, Bakhadyr; Nerode, Anil
47
2001
Mathematics for the Analysis of Algorithms. 3rd ed. Zbl 0824.68043
Greene, Daniel H.; Knuth, Donald E.
35
1990
Cryptographic applications of analytic number theory. Complexity lower bounds and pseudorandomness. Zbl 1036.94001
Shparlinski, I.
34
2003
Interpolating cubic splines. Zbl 1057.41001
Knott, Gary D.
19
2000
A proof theory for general unification. Zbl 0746.03011
Snyder, Wayne
12
1991
Number theoretic methods in cryptography. Complexity lower bounds. Zbl 0912.11057
Shparlinski, Igor
11
1999
An introduction to quantum computing algorithms. Zbl 0940.81004
Pittenger, Arthur O.
10
2000
Bounded queries in recursion theory. Zbl 0936.03038
Gasarch, William I.; Martin, Georgia A.
8
1999
Temporal type theory. A topos-theoretic approach to systems and behavior. Zbl 1457.18001
Schultz, Patrick; Spivak, David I.
7
2019
Mathematical logic. Foundations for information science. Zbl 1185.03001
Li, Wei
6
2010
Logical methods. In honor of Anil Nerode’s 60th birthday. Zbl 0810.00003
6
1993
A graph-theoretic approach to enterprise network dynamics. Zbl 1157.94006
Bunke, Horst; Dickinson, Peter J.; Kraetzl, Miro; Wallis, Walter D.
6
2007
Logic for computer scientists. Zbl 0748.03001
Schöning, Uwe
3
1989
Mathematical logic. Foundations for information science. 2nd revised and extended ed. Zbl 1334.03001
Li, Wei
1
2014
Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992. Zbl 0809.00011
1
1995
Perspectives in computational complexity. The Somenath Biswas anniversary volume. Selected papers based on the presentations at the workshop, Kanpur, India, Summer 2012. Zbl 1294.68010
1
2014
Temporal type theory. A topos-theoretic approach to systems and behavior. Zbl 1457.18001
Schultz, Patrick; Spivak, David I.
7
2019
Mathematical logic. Foundations for information science. 2nd revised and extended ed. Zbl 1334.03001
Li, Wei
1
2014
Perspectives in computational complexity. The Somenath Biswas anniversary volume. Selected papers based on the presentations at the workshop, Kanpur, India, Summer 2012. Zbl 1294.68010
1
2014
Mathematical logic. Foundations for information science. Zbl 1185.03001
Li, Wei
6
2010
A graph-theoretic approach to enterprise network dynamics. Zbl 1157.94006
Bunke, Horst; Dickinson, Peter J.; Kraetzl, Miro; Wallis, Walter D.
6
2007
Cryptographic applications of analytic number theory. Complexity lower bounds and pseudorandomness. Zbl 1036.94001
Shparlinski, I.
34
2003
Automata theory and its applications. Zbl 1083.68058
Khoussainov, Bakhadyr; Nerode, Anil
47
2001
Interpolating cubic splines. Zbl 1057.41001
Knott, Gary D.
19
2000
An introduction to quantum computing algorithms. Zbl 0940.81004
Pittenger, Arthur O.
10
2000
Number theoretic methods in cryptography. Complexity lower bounds. Zbl 0912.11057
Shparlinski, Igor
11
1999
Bounded queries in recursion theory. Zbl 0936.03038
Gasarch, William I.; Martin, Georgia A.
8
1999
Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992. Zbl 0809.00011
1
1995
Logical methods. In honor of Anil Nerode’s 60th birthday. Zbl 0810.00003
6
1993
A proof theory for general unification. Zbl 0746.03011
Snyder, Wayne
12
1991
Mathematics for the Analysis of Algorithms. 3rd ed. Zbl 0824.68043
Greene, Daniel H.; Knuth, Donald E.
35
1990
Logic for computer scientists. Zbl 0748.03001
Schöning, Uwe
3
1989
all cited Publications top 5 cited Publications
all top 5

Cited by 362 Authors

17 Winterhof, Arne
11 Shparlinski, Igor E.
7 Stephan, Frank
6 Droste, Manfred
6 Jain, Sanjay
5 Hieronymi, Philipp
5 Li, Wei
4 Chen, Zhixiong
4 Gasarch, William Ian
4 Luo, Jie
4 Rahonis, George
4 Spivak, David I.
3 Aly, Hassan Y.
3 Benerecetti, Massimo
3 Choi, Junesang
3 Kiltz, Eike
3 Mogavero, Fabio
2 Alonso, Laurent
2 Beigel, Richard
2 Bozga, Marius
2 Buhrman, Harry
2 Calude, Cristian S.
2 Cenzer, Douglas
2 Chen, Li-Hsuan
2 D’Alotto, Louis A.
2 Fong, Brendan
2 Gastin, Paul
2 Höfer, Richard M.
2 Hung, Ling-Ju
2 Hwang, Hsien-Kuei
2 Ida, Tetsuo
2 Iosif, Radu
2 Işık, Leyla
2 Jia, Jiteng
2 Khoussainov, Bakhadyr M.
2 Kohlhase, Michael
2 Koparal, Sibel
2 Li, Wei
2 Li, Yongming
2 Löding, Christof
2 Lotze, Henri
2 Luo, Qinglong
2 Marcone, Alberto
2 Martin, Éric A.
2 Meletiou, Gerasimos C.
2 Mercat, Paul
2 Middeldorp, Aart
2 Myers, David Jaz
2 Okui, Satoshi
2 Omur, Nese
2 Pittou, Maria
2 Prodinger, Helmut
2 Reingold, Edward Martin
2 Rossmanith, Peter
2 Schott, René
2 Selivanov, Viktor L’vovich
2 Semukhin, Pavel
2 Sifakis, Joseph
2 Topuzoǧlu, Alev
2 Wagner, Stephan G.
1 Adzhiev, Valery
1 Aggarwal, Charu C.
1 Agnarsson, Geir
1 Aisbett, Janet E.
1 Akiyama, Shigeki
1 Allender, Eric W.
1 Ambainis, Andris
1 Amir, Amihood
1 Arai, Noriko H.
1 Aytac, Jon M.
1 Babić, Domagoj
1 Barhen, Jacob
1 Bartz-Beielstein, Thomas
1 Beimel, Amos
1 Beklemishev, Lev D.
1 Bellier, Dylan
1 Ben Daniel, Sebastian
1 Bérczes, Attila
1 Bernasconi, Anna
1 Bernstein, Mira
1 Bica, Alexandru Mihai
1 Blake, Ian Fraser
1 Borgonovi, Fausto
1 Borisenko, Vladimir V.
1 Braüner, Torben
1 Brengos, Tomasz
1 Bryant, David
1 Buchi, J. Richard
1 Bunke, Horst
1 Bužek, Vladimír
1 Cadena, Jose
1 Çakıroğlu, Yağmur
1 Canetti, Ran
1 Cantoni, Michael
1 Carson, Jacob
1 Censi, Andrea
1 Chang, Tyler H.
1 Chassaing, Philippe
1 Chen, Goong
1 Chen, Ray-Ming
...and 262 more Authors
all top 5

Cited in 102 Journals

15 Theoretical Computer Science
7 Finite Fields and their Applications
5 The Journal of Symbolic Logic
5 Cryptography and Communications
5 Science China. Information Sciences
4 Bulletin of the Australian Mathematical Society
4 Information Processing Letters
4 Transactions of the American Mathematical Society
4 Information and Computation
4 Designs, Codes and Cryptography
4 Logical Methods in Computer Science
3 Discrete Applied Mathematics
3 Information Sciences
3 Journal of Computer and System Sciences
3 Journal of Automated Reasoning
3 Applicable Algebra in Engineering, Communication and Computing
3 Theory of Computing Systems
2 Physics Letters. A
2 Bulletin of the Korean Mathematical Society
2 Computer Aided Geometric Design
2 Journal of Symbolic Computation
2 Mathematical and Computer Modelling
2 Linear Algebra and its Applications
2 Formal Methods in System Design
2 Quantum Information Processing
2 ACM Transactions on Computational Logic
2 Advances in Mathematics of Communications
2 Frontiers of Computer Science
1 ACM Computing Surveys
1 Computers and Fluids
1 Computers & Mathematics with Applications
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Mathematics
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Journal of Computational Physics
1 Journal of Mathematical Biology
1 Lithuanian Mathematical Journal
1 Mathematical Methods in the Applied Sciences
1 Periodica Mathematica Hungarica
1 Rocky Mountain Journal of Mathematics
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 ACM Transactions on Mathematical Software
1 Advances in Mathematics
1 The Annals of Probability
1 Applied Mathematics and Computation
1 Applied Mathematics and Optimization
1 Computing
1 Journal of Algebra
1 Journal of Computational and Applied Mathematics
1 Mathematics and Computers in Simulation
1 Monatshefte für Mathematik
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Advances in Applied Mathematics
1 Journal of Complexity
1 Algorithmica
1 International Journal of Approximate Reasoning
1 The Annals of Applied Probability
1 International Journal of Foundations of Computer Science
1 Aequationes Mathematicae
1 Applied Mathematical Modelling
1 Communications in Statistics. Theory and Methods
1 Pattern Recognition
1 Archive for Mathematical Logic
1 Computational Complexity
1 Experimental Mathematics
1 Journal of Algebraic Combinatorics
1 Tatra Mountains Mathematical Publications
1 Journal of Logic, Language and Information
1 Applied Categorical Structures
1 Applied Mathematics. Series B (English Edition)
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Fractals
1 Filomat
1 The Electronic Journal of Combinatorics
1 Advances in Computational Mathematics
1 The Bulletin of Symbolic Logic
1 Journal of Mathematical Chemistry
1 Journal of Automata, Languages and Combinatorics
1 Abstract and Applied Analysis
1 Soft Computing
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Fractional Calculus & Applied Analysis
1 Data Mining and Knowledge Discovery
1 Journal of Integer Sequences
1 Integers
1 Journal of Machine Learning Research (JMLR)
1 Natural Computing
1 Journal of Applied Mathematics and Computing
1 Foundations of Physics
1 Statistical Analysis and Data Mining
1 Chinese Journal of Physics (Taipei)
1 SIAM Journal on Imaging Sciences
1 Acta Universitatis Sapientiae. Mathematica
1 Theory of Computing
1 Computability
...and 2 more Journals
all top 5

Cited in 41 Fields

94 Computer science (68-XX)
53 Number theory (11-XX)
51 Mathematical logic and foundations (03-XX)
31 Information and communication theory, circuits (94-XX)
19 Numerical analysis (65-XX)
17 Combinatorics (05-XX)
9 Quantum theory (81-XX)
8 Category theory; homological algebra (18-XX)
8 Dynamical systems and ergodic theory (37-XX)
7 Probability theory and stochastic processes (60-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Approximations and expansions (41-XX)
3 Measure and integration (28-XX)
3 Statistics (62-XX)
3 Fluid mechanics (76-XX)
3 Operations research, mathematical programming (90-XX)
3 Biology and other natural sciences (92-XX)
2 Algebraic geometry (14-XX)
2 Group theory and generalizations (20-XX)
2 Special functions (33-XX)
2 Partial differential equations (35-XX)
2 Sequences, series, summability (40-XX)
2 Systems theory; control (93-XX)
1 General algebraic systems (08-XX)
1 Field theory and polynomials (12-XX)
1 Associative rings and algebras (16-XX)
1 Real functions (26-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Geometry (51-XX)
1 General topology (54-XX)
1 Manifolds and cell complexes (57-XX)
1 Mechanics of particles and systems (70-XX)
1 Mechanics of deformable solids (74-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)

Citations by Year