Publications
Publications
| 2002 | On the lattice of prefix codes |
Theoretical Computer Science | 2002 | article | ||
| 2002 | Primeigenschaften von Algebren in Modulkategorien über Hopfalgebren (Heinrich-Heine Universität Düsseldorf) |
2002 | misc | ||
| 2002 | Solving Optimal Location of Traffic Count Posts in CLP(FD) |
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. | 2002 | inproceedings | ||
| 2002 | Solving optimal location of traffic counting points at urban intersections in CLP(FD) |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002 | inproceedings | ||
| 2002 | Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD) |
MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings | 2002 | inproceedings | ||
| 2002 | Some key problems on finite semigroups |
Semigroup Forum | 2002 | article | ||
| 2002 | Statistical stability for robust classes of maps with non-uniform expansion |
Ergodic Theory and Dynamical Systems | 2002 | article | ||
| 2002 | Structure of relatively free bands |
Communications in Algebra | 2002 | article | ||
| 2002 | Studying provability in implicational intuitionistic logic: the formula tree approach |
Electronic Notes in Theoretical Computer Science | 2002 | inproceedings | ||
| 2002 | The homomorphism problem for the free monoid |
Discrete Mathematics | 2002 | article | ||
| 2002 | Topology of U(2,1) representation spaces |
Bulletin of the London Mathematical Society | 2002 | article | ||
| 2002 | Using Constraint Logic Programming to Generate Drills in Mathematics |
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. | 2002 | inproceedings | ||
| 2001 | A canonical directly infinite ring |
Czechoslovak Mathematical Journal | 2001 | article | ||
| 2001 | A context-free grammar representation for normal inhabitants of types in TAλ |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2001 | inproceedings | ||
| 2001 | A methodology for modelling and prediction of coastal cliffs recession |
Coastal Dynamics '01: Proceedings | 2001 | inproceedings | ||
| 2001 | A remark on a theorem of Y. Kurata |
Hokkaido Mathematical Journal | 2001 | article | ||
| 2001 | Analytic linearizability of some resonant vector fields |
Proceedings of the American Mathematical Society | 2001 | article | ||
| 2001 | Apoo: an environment for a first course in assembly language programming |
SIGCSE Bulletin | 2001 | article | ||
| 2001 | Commutative images of rational languages and the Abelian kernel of a monoid |
Rairo-informatique Theorique Et Applications-theoretical Informatics and Applications | 2001 | article | ||
| 2001 | Components of spaces of representations and stable triples |
Topology | 2001 | article | ||
| 2001 | Counting a type's (principal) inhabitants |
Fundamenta Informaticae | 2001 | article | ||
| 2001 | Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps |
Proceedings of the Edinburgh Mathematical Society | 2001 | article | ||
| 2001 | Hyperdecidability of pseudovarieties of orthogroups |
Glasgow Mathematical Journal | 2001 | article | ||
| 2001 | Multivariate stability and strong limiting behaviour of intermediate order statistics |
Journal of Multivariate Analysis | 2001 | article | ||
| 2001 | Non-uniformly expanding dynamics: Stability from a probabilistic viewpoint |
Discrete and Continuous Dynamical Systems | 2001 | article |