Volume 24 – 2003 – 8th Workshop on Logic, Language, Informations and Computation – WoLLIC\’2001


Title Authors Download
On applying the λse style of unification for simply-typed higher order unification Ayala-Rincón, Mauricio
Kamareddine, Fairouz
A note on the Hilbert algebras with infimum Figallo, Aldo V.
Ramón, Guillermina Z.
Saad, Susana
Ribbon braided multiplicative linear logic Fleury, Arnaud
Mathematical fuzzy logic—state of art 2001 Hájek, Petr
On embedding models of arithmetic into reduced powers Kennedy, Juliette
Automata on guarded strings and applications Kozen, Dexter
Towards a model of heterogeneous commonsense reasoning Martinez, Maricarmen
Pseudo-finite model theory Väänänen, Jouko