computer algebra in scientific computing (43)
journal of symbolic computation (13)
lectures on proof verification & approximation algorithms (13)
journal of algorithms (10)
fundamenta informaticae (8)
theory of computing systems (6)
information and computation (5)
journal of algorithms. cognition, informatics and logic (4)
proceedings of the 1996 international symposium: symbolic & algebraic computation (4)
theoretical computer science (4)
journal of parallel and distributed computing (3)
advances in computing research, vol.\ 4 (2)
algorithmica (2)
algorithmica. an international journal in computer science (2)
application and theory of petri nets and concurrency (2)
automated deduction in geometry (2)
combinatorica (2)
computational graph theory (2)
informatik-spektrum: organ der gesellschaft fur informatik e.v. und mit ihr assoziierter organisationen (2)
information processing letters (2)
journal of complexity (2)
journal of computer and system sciences (2)
proceedings of the fourth annual acm symposium: parallel algorithms & architectures (2)
proceedings of the tenth annual acm symposium: parallel algorithms & architectures (2)
siam journal on computing (2)
24th annual symposium on foundations of computer science (sfcs 1983) (1)
24th annual symposium on foundations of computer science (sfcs 1983), foundations of computer science, 1983., 24th annual symposium on (1)
acm communications in computer algebra (1)
acta informatica (1)
advances in mathematics (1)
algorithmic and experimental methods in algebra, geometry, and number theory (1)
algorithms and computation (taejon, 1998) (1)
algorithms---esa '93 (bad honnef, 1993) (1)
analco12---meeting on analytic algorithmics and combinatorics (1)
application & theory of petri nets & concurrency (1)
application & theory of petri nets & concurrency: 35th international conference, petri nets 2014, tunis, tunisia, june 23-27, 2014. proceedings (1)
automata, languages and programming (antwerp, 1984) (1)
automata, languages and programming (paderborn, 1996) (1)
combinatorica. an international journal on combinatorics and the theory of computing (1)
computer algebra in scientific computing (9783540451822) (1)
computer algebra in scientific computing (9783540751861) (1)
computer algebra in scientific computing (9783642152733) (1)
fifth generation computer systems 1988, vol.\ 1--3 (tokyo, 1988) (1)
fundamentals of computation theory (dresden, 1995) (1)
fundamentals of computation theory (krakow, 1997) (1)
graph-theoretic concepts in computer science (amsterdam, 1988) (1)
graph-theoretic concepts in computer science (bernried, 1986) (1)
issac 2010---proceedings of the 2010 international symposium on symbolic and algebraic computation (1)
issac 2011---proceedings of the 36th international symposium on symbolic and algebraic computation (1)
journal of the acm (1)