6 registros retornados

• Daniel Lima Ventura,  Mauricio Ayala-Rinco n,  Fairouz Kamareddine.  Explicit Substitutions Calculi with Explicit Eta rules which Preserve Subject Reduction.  1 - 15

• Fernando Naufel do Amaral,  Edward Hermann Haeusler.  Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search.  16 - 24

• Uwe Wolter,  Alfio Martini,  Edward Hermann Haeusler.  Indexed General Logics.  25 - 34

• Cláudia Nalon,  Clare Dixon.  Normal Modal Resolution: Preliminary Results.  35 - 42

• Benjamin Bedregal.  A Normal Form which Preserves Tautologies and Contradictions in a Class of Fuzzy Logics.  43 - 50

• Robson da Luz,  Martin Musicante.  Regular Expression Transformations to Extend Regular Languages.  51 - 64