default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 56
Volume 56, Number 1, May 2009
- Jacques Calmet, Volker Sorge:
Preface. 1-2 - Andreas Distler, Tom W. Kelsey
:
The monoids of orders eight, nine & ten. 3-21 - Lucas Dixon, Ross Duncan:
Graphical reasoning in compact closed categories for quantum computation. 23-42 - Khalil Djelloul:
A full first-order constraint solver for decomposable theories. 43-64 - Nicolas Peltier:
Constructing infinite models represented by tree automata. 65-85 - Harald Zankl, Aart Middeldorp:
Increasing interpretations. 87-108
Volume 56, Number 2, June 2009
- Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
On the computational complexity of weighted voting games. 109-131 - Michal Penn, Maria Polukarov, Moshe Tennenholtz:
Taxed congestion games with failures. 133-151 - Michael Lindner, Meir Kalech, Gal A. Kaminka:
A representation for coordination fault detection in large-scale multi-agent systems. 153-186 - Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On commutativity based Edge Lean search. 187-210 - Carmel Domshlak, Vitaly Mirkis:
Set-structured and cost-sharing heuristics for classical planning. 211-239
Volume 56, Numbers 3-4, August 2009
- Julio Rubio, Werner M. Seiler:
Applicable algebra and artificial intelligence. 241-243 - Steven Obua, Tobias Nipkow:
Flyspeck II: the basic linear programs. 245-272 - Renaud Rioboo:
Invariants for the FoCaL language. 273-296 - Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías:
A Groebner bases-based approach to backward reasoning in rule based expert systems. 297-311 - Thilo Mie:
Short PCPPs verifiable in polylogarithmic time with O(1) queries. 313-338 - Thierry Coquand, Henri Lombardi, Peter Schuster:
Spectral schemes as ringed lattices. 339-360 - Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
Congruence relations on some hyperstructures. 361-370 - José L. Montaña, Luis M. Pardo:
On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations. 371-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
