The Collection of
Computer Science Bibliographies

Bibliography of the technical reports of the Research Institute for Symbolic Computation (RISC)

[   About   |  Browse   |   Statistics   ]

Number of references:424Last update:October 30, 1998
Number of online publications:0Supported:no
Most recent reference:1996

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
A-4040 Linz
Abstract Data Types, Algorithm Theory, Applied Mathematics (Analysis etc.), Artificial Intelligence, Automatic Programming, Automated Theorem Proving, CAM, Chemistry, Coding Theory, Combinatorics, Complexity Theory, Computatinoal Geometry, Computer Algebra, Computer Algebra Algorithms (except Gröbner Bases), Computer Algebra Languages, Computer Analysis, Critical Pair Completion, Data Structures, Expert Systems, Functional Programming, Geo Reasoning, Geo Theorem Proving, Graphics, Groebner Bases, Mathematics for Computer Science, Logic Programming, Operations Research, Organisation, Parallel Computation, Politics, Programming, Program Verification, Recursion and Iteration, Robot Programming, Semantics of Programming Languages, Simplification, Software Technology, Symbolic Computation

Browsing the bibliography

Bibliographic Statistics

address(424), institution(424), number(424), title(424), type(424), year(424), author(423), location(423), descr(341), note(155)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!