Publications about 'Logic Functor'
Articles in journal or book chapters
  1. Annie Foret. A modular and parameterized presentation of pregroup calculus. Information and Computation Journal, 208(5):395-604, May 2010. [PDF] Keyword(s): Pregroups, Lambek categorial grammars, Logic functor, Logic component, Cut elimination. [Abstract] [bibtex-entry]

  2. Sébastien Ferré and R. D. King. A dichotomic search algorithm for mining and learning in domain-specific logics. Fundamenta Informaticae -- Special Issue on Advances in Mining Graphs, Trees and Sequences, 66(1-2):1-32, 2005. [PDF] Keyword(s): machine learning, logic, concept analysis, data-mining, logic functors. [Abstract] [bibtex-entry]

Conference articles
  1. A. Foret. Pregroup Calculus as a Logical Functor. In Proceedings of WOLLIC 2007, volume LNCS 4576, 2007. Springer. [PDF] Keyword(s): Pregroups, Lambek Categorial Grammars, Logic Functor, Cut Elimination. [Abstract] [bibtex-entry]

  2. Soazig Bars, Sébastien Ferré, and Olivier Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. [WWW] [bibtex-entry]

  3. Sébastien Ferré and Olivier Ridoux. A Framework for Developing Embeddable Customized Logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215, 2001. Springer. [WWW] Keyword(s): logic, composition, theorem prover, logic-based systems. [Abstract] [bibtex-entry]

Internal reports
  1. Sébastien Ferré and Olivier Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Research Report RR-5871, Irisa, March 2006. [WWW] Keyword(s): logic, components, modules and functors, theorem provers, type checking, application developpement. [Abstract] [bibtex-entry]

  2. Sébastien Ferré and Olivier Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report RR-4457, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): applied logic, software component. [Abstract] [bibtex-entry]



This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Last modified: Thu Apr 8 17:20:28 2021
Author: ferre.

This document was translated from BibTEX by bibtex2html