L.M. Laita, E. Roanes-Lozano and J.A. Alonso
Verification of the Formal Concept Analysis
J.A. Alonso, J. Borrego, Mª.J. Hidalgo, F.J. Martín-Mateos and J.L. Ruiz-Reina
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
B. Beckert, M. Giese, E. Habermalz, R. Hänle, A. Roth, P. Rümmer and S. Schlager
J. Calmet, P. Maret and R. Endsuleit
Cocktail: A Tool of Deriving Correct Programs
M. Franssen and H. de Swart
D. Gabbay, G. Metcalfe and N. Olivetti
Induction and Decision Procedures
D. Kapur, J. Giesl and M. Subramaniam
Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification
M. Kaufmann and J. Strother Moore
Rough set data representation using binary decision diagrams
A. Muir, I. Düntsch and G. Gediga
A terminal area topology-independent GB-based conflict detection system for A-SMGCS
E. Roanes-Lozano, R. Muga, L. M. Laita and E. Roanes-Macías
T. Sturm and V. Weispfenning
On MPT-implication functions for Fuzzy Logic
E. Trillas, C. Alsina and A. Pradera