Toward a General Rewriting-Based Framework for Reducibility Colin Riba INRIA Sophia Antipolis – M´edeterran´ee

Source URL: perso.ens-lyon.fr

Types and Functions since Principia and the Computerisation of Language and Mathematics Fairouz Kamareddine USEFUL LOGICS, TYPES, REWRITING and AUTOMATION

Source URL: www.cedar-forest.org

Towards a Rewriting Framework for Textual Entailment Vivek Nigam1 Centro de Inform´ atica Universidade Federal da Para´ıba

Source URL: www.nigam.info

HOR 2012 6th International Workshop on Higher-Order Rewriting Makoto Hamana (ed.)

Source URL: www.cs.gunma-u.ac.jp

Svetlana Arifulina, Chiristian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Specifications

Source URL: cs.ioc.ee

• Formal methods
• Mathematics
• Software engineering
• Software development
• Model checking
• Graph rewriting
• RCOS

Efficient Query Rewriting in the Description Logic EL and Beyond ˙ Peter Hansen and Carsten Lutz and Inanc ¸ Seylan University of Bremen, Germany {hansen, clu, seylan}@informatik.uni-bremen.de

Source URL: www.informatik.uni-bremen.de

• Symbol
• Model theory
• Rewriting
• Datalog
• FO
• Theoretical computer science
• Logic
• Mathematics

From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/

Source URL: www.ensiie.fr

• Automated theorem proving
• Propositional calculus
• Deduction
• Natural deduction
• Sequent calculus
• Resolution
• Rewriting
• Method of analytic tableaux
• Rule of inference
• Logic
• Mathematical logic
• Proof theory

Canonical Inference for Implicational Systems⋆ Maria Paola Bonacina⋆⋆1 and Nachum Dershowitz⋆ ⋆ ⋆2 1 2

Source URL: profs.sci.univr.it

• Theoretical computer science
• Logic in computer science
• Conditionals
• Rewriting
• Propositional calculus
• Necessity and sufficiency
• Mathematical proof
• Implicational propositional calculus
• Mathematics
• Logic
• Mathematical logic

Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique

Source URL: who.rocq.inria.fr

• Logic
• Logic in computer science
• Dependently typed programming
• Lambda calculus
• Proof theory
• Curry–Howard correspondence
• First-order logic
• Logical framework
• System F
• Mathematical logic
• Theoretical computer science
• Type theory

Geomodification in Query Rewriting Vivian Wei Zhang, Benjamin Rey, Eugene Stipp and Rosie Jones Yahoo! Research 3333 Empire Ave Burbank, CA 91504 {zhangv,

Source URL: www.geo.unizh.ch

• Query languages
• Web search query
• Query expansion
• Spatial query
• Bin
• Spatial database
• Data integration
• Web query classification
• Information science
• Information retrieval
• Internet search