Suchergebnisse - Bezhanishvili, Nick
-
1Varieties of two-dimensional diagonal-free cylindric algebrasBand 2Veröffentlicht 2002Per Fernleihe bestellenBuch
-
2
-
3Transfer results for hybrid logic: the case without satisfaction operatorsVeröffentlicht 2004Per Fernleihe bestellenBuch
-
4
-
5
-
6All normal extensions of S5-squared are finitely axiomatizableVeröffentlicht 2003Per Fernleihe bestellenBuch
-
7Varieties of two-dimensional diagonal-free cylindric algebrasBand 1Veröffentlicht 2000Per Fernleihe bestellenBuch
-
8All proper normal extensions of S5-square have the polynomial size model propertyVeröffentlicht 2000Per Fernleihe bestellenBuch
-
9Lectures on logic and computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 ; selected lecture notesVeröffentlicht 2012Weitere beteiligte Personen: “… Bezhanishvili, Nick …”
Tagungsbericht Buch -
10Dick de Jongh on intuitionistic and provability logicsVeröffentlicht 2024Weitere beteiligte Personen: “… Bezhanishvili, Nick …”
Per Fernleihe bestellenElektronisch E-Book