Sommaire

Verification of the Formal Concept Analysis.

Alonso, José Antonio ; Borrego, Joaquín ; Hidalgo, María José ; Martín Mateos, Francisco Jesús ; Ruiz Reina, José Luis

Access to full text
p. 3-16

Biblioteca Digital de Matemáticas
Taclets: a new paradigm for constructing interactive theorem provers.

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen

Access to full text
p. 17-53

Biblioteca Digital de Matemáticas
Satisfiability and matchings in bipartite graphs: relationship and tractability.

Benhamou, Belaid

Access to full text
p. 55-63

Biblioteca Digital de Matemáticas
Towards the automated synthesis of a Gröbner bases algorithm.

Buchberger, Bruno

Access to full text
p. 65-75

Biblioteca Digital de Matemáticas
Agent-oriented abstraction.

Calmet, Jacques ; Maret, Pierre ; Endsuleit, Regine

Access to full text
p. 77-83

Biblioteca Digital de Matemáticas
Numerical taxonomy: a missing link for case-based reasoning and autonomous agents.

Campbell, John A.

Access to full text
p. 85-94

Biblioteca Digital de Matemáticas
Cocktail: a tool for deriving correct programs.

Franssen, Michael ; De Swart, Harrie

Access to full text
p. 95-111

Biblioteca Digital de Matemáticas
Hypersequents and fuzzy logic.

Gabbay, Dov ; Metcalfe, George ; Olivetti, Nicola

Access to full text
p. 113-126

Biblioteca Digital de Matemáticas
Z specification of object oriented constraint programs.

Henocque, Laurent

Access to full text
p. 127-152

Biblioteca Digital de Matemáticas
Induction and decision procedures.

Kapur, Deepak ; Giesl, Jürgen ; Subramaniam, Mahadevan

Access to full text
p. 153-180

Biblioteca Digital de Matemáticas
Some key research problems in automated theorem proving for hardware and software verification.

Kaufmann, Matt ; Moore, J. Strother

Access to full text
p. 181-195

Biblioteca Digital de Matemáticas
Representación de datos de conjuntos aproximados mediante diagramas de decisión binarios.

Muir, Alex ; Düntsch, Ivo ; Gediga, Günther

Access to full text
p. 197-211

Biblioteca Digital de Matemáticas
On logical fiberings and automated deduction in many-valued logics using Gröbner bases.

Pfalzgraf, Jochen

Access to full text
p. 213-227

Biblioteca Digital de Matemáticas
A terminal area topology-independent GB-based conflict detection system for A-SMGCS.

Roanes Lozano, Eugenio ; Muga, Rafael ; Laita, Luis M. ; Roanes Macías, Eugenio

Access to full text
p. 229-237

Biblioteca Digital de Matemáticas
P-adic root isolation.

Sturm, Thomas ; Weispfenning, Volker

Access to full text
p. 239-258

Biblioteca Digital de Matemáticas
On MPT-implication functions for fuzzy logic.

Trillas, Enric ; Alsina, Claudi ; Pradera, Ana

Access to full text
p. 259-271

Biblioteca Digital de Matemáticas