A denotational semantics ofLC2 (English)
National licence
- New search for: Quatrini, Myriam
- New search for: Quatrini, Myriam
In:
Archive for Mathematical Logic
;
35
, 1
;
1-32
;
1996
- Article (Journal) / Electronic Resource
-
Title:A denotational semantics ofLC2
-
Contributors:Quatrini, Myriam ( author )
-
Published in:Archive for Mathematical Logic ; 35, 1 ; 1-32
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:1996-01-01
-
Size:32 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 35, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A denotational semantics ofLC2Quatrini, Myriam et al. | 1996
- 33
-
Cutting planes, connectivity, and threshold logicBuss, Samuel R. / Clote, Peter et al. | 1996