Members of the Forum Algebra produce more than a hundred publications every year. The list below is automatically generated and may not be complete.
- Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr. Algorithms for near-rings of non-linear transformations. Proc. ISSAC 2000, pp. 23-29.
- Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta. Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. Proc. CAV 2000, pp. 124-138.
- Bogdan Matasaru, Tudor Jebelean. FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. Proc. FPL 2000, pp. 810-813.
- Erhard Aichinger. Hagemann’s and Herrmann’s characterization of strictly affine complete algebras. Algebra Univers. 44(1-2):105-121 .
- Erhard Aichinger. Hagemann’s and Herrmann’s characterization of strictly affine complete algebras. Algebra Univers. 44(1-2):105-121.
Contact
Manuel Kauers
Institute for Algebra
Johannes Kepler University
Altenbergerstraße 69
4040 Linz, Austria
E-mail: manuel.kauers@jku.at
Phone:+43 732 2468 9958