INFORMAZIONI GENERALI |
Istituto: |
cnr.isti |
Collezione: |
cnr.csce |
Tipo: |
B0 National Journal |
Titolo: |
N-ary selection functions and formal selective systems. Part.1 |
Lingua sommario: |
English |
Sommario in Inglese: |
The concept of n-ary Selection Function, which is equivalent to McCarthy's Conditional Expression, is introduced. To define it rigorously, abstructing from any interpretation, the concept of Formal Selective System is defined, and some of their basic properties are discussed. A summary of some basic concepts concernig n-valued logics is then given as an introduction to the dtscussìon of the relationship between Formal Selective Systems and n-valued Logics, which is to appear in Part II. |
Altra Lingua sommario: |
|
Sommario in altra lingua: |
|
URL Documento: |
|
DOI Documento: |
|
AUTORI |
Autore/i |
Cognome: Caracciolo Di Forino
Nome: Alfonso
Sezione/Laboratorio:
Tipo affiliazione: cnr - Affiliazione: CNR-CSCE, Pisa
|
KEYWORDS |
Soggetti |
| free: Formal Methods | | acm: D.2.4 Software/Program Verification . Formal Methods | |
|
FONTE/DESCRIZIONE |
Titolo periodico: |
Calcolo |
Volume: |
1 |
Fascicolo: |
|
Numero articolo: |
|
Numero pagine: |
|
Da pag.-a pag.: |
49 - 82 |
Pubblicato da: |
Tipografia editrice Comm. Umberto Giardini, Pisa |
Anno pubblicazione: |
1964 |
Numero speciale: |
|
A cura di: |
Consiglio Nazionale delle Ricerche-CSCE |
ISSN: |
|
Indicizzato da: |
|
FILE_INFO |
File allegati: |
Documento accesso libero: 1964-B0-003_0.pdf
Nome file: Lingua allegato: English
|
PUMA_INFO |
Data inserimento: |
24/03/2009 |
Data modifica: |
01/07/2009 |
Codice Puma: |
/cnr.csce/1964-B0-003 |
Numero documento/Codice originale: |
CSCE-P-29-1964 (seconda serie) |
E-Mail compilatore: |
rosaria.deluca@isti.cnr.it |