The theory of ${\vec Z}C(2)^2$ -lattices is decidable (English)
National licence
- New search for: Baratella, Stefano
- New search for: Toffalori, Carlo
- New search for: Baratella, Stefano
- New search for: Toffalori, Carlo
In:
Archive for Mathematical Logic
;
37
, 2
;
91-104
;
1998
- Article (Journal) / Electronic Resource
-
Title:The theory of ${\vec Z}C(2)^2$ -lattices is decidable
-
Contributors:Baratella, Stefano ( author ) / Toffalori, Carlo ( author )
-
Published in:Archive for Mathematical Logic ; 37, 2 ; 91-104
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin Heidelberg
-
Publication date:1998-03-01
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 37, Issue 2
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.
- 67
-
A direct independence proof of Buchholz's Hydra Game on finite labeled treesHamano, Masahiro / Okada, Mitsuhiro et al. | 1998
- 91
-
The theory of ZC (2)^2-lattices is decidableBaratella, S. / Toffalori, C. et al. | 1998
- 91
-
The theory of ${\vec Z}C(2)^2$ -lattices is decidableBaratella, Stefano / Toffalori, Carlo et al. | 1998
- 105
-
A jump operator on honest subrecursive degreesKristiansen, Lars et al. | 1998
- 127
-
The decision problem for ${\vec Z}C(p^3)$ -lattices with $p$ primeToffalori, Carlo et al. | 1998
- 127
-
The decision problem for ZC (p^3)-lattices with p primeToffalori, C. et al. | 1998