Art
J-GLOBAL ID：200902015613948928   Reference number：92A0611026

Operational, denotational and logical descriptions: a case study.

操作的,表示的,そして論理的記述 ケース・スタディ
Author (3)：
EGIDI L

About EGIDI L

(Univ. Torino, ITA)

About Univ. Torino, ITA

, 
HONSELL F

About HONSELL F

(Univ. Udine, ITA)

About Univ. Udine, ITA

, 
RONCHI DELLA ROCCA S

About RONCHI DELLA ROCCA S

(Univ. Torino, ITA)

About Univ. Torino, ITA


Material：
Fundamenta Informaticae  (Annales Societatis Mathematicae Polonae. Series 4. Fundamenta Informaticae)

About Fundamenta Informaticae


Volume： 16  Issue： 2  Page： 149-169  Publication year： Feb. 1992 
JST Material Number： T0402A  ISSN： 0169-2968  CODEN： FUINE  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
functional language

About functional language

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0611026&from=J-GLOBAL&jstjournalNo=T0402A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Mathematical linguistics 
(JB05000V)

About Mathematical linguistics

Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
記述

About 記述


Return to Previous Page

TOP

BOTTOM