Opened Access Looking for P Truth
Cites
Show item statistics
Icon
Export to
Author: Cordón Franco, Andrés
Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2004
Published in: Proceedings of the Second Brainstorming Week on Membrane Computing, 134-138. Sevilla, E.T.S. de Ingeniería Informática, 2-7 de Febrero, 2004
ISBN/ISSN: 84-688-6101-4
Document type: Presentation
Abstract: In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore the analogies between P systems, where new configurations can be obtained from previous ones by using a set of rules, and the derivation of new theorems from previous ones or from axioms by using inference rules.
Size: 115.8Kb
Format: PDF

URI: http://hdl.handle.net/11441/34639

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)