Publicações
Publications
| 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 | ||
| 2001 | On the hyperdecidability of pseudovarieties of groups |
International Journal of Algebra and Computation | 2001 | article | ||
| 2001 | Representations of the fundamental group of a surface in PU(p, q) and holomorphic triples |
Comptes Rendus De L Academie Des Sciences Serie I-mathematique | 2001 | article | ||
| 2001 | SC-hyperdecidability of R |
Theoretical Computer Science | 2001 | article | ||
| 2001 | Short-wave instabilities in the Benjamin-Bona-Mahoney-Peregrine equation: theory and numerics |
Inverse Problems | 2001 | article |