Conferences in DBLP

Logic Colloquium (logicColl)
1985 (conf/logicColl/1985)

1. A. Burdman Feferman, Solomon Feferman
   Jean van Heijenoort (1912-1986). [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:1-8 [Conf]
   
2. Jean-Yves Girard
   La mouche dans la bouteille. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:9-12 [Conf]
   
3. Ph. de Rouilhan
   Jean van Heijenoort. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:13-16 [Conf]
   
4. G. Ahlbrandt
   Almost strongly minimal totally categorial theories. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:17-32 [Conf]
   
5. Andreas Baudisch
   On Lascar rank in non-multidimensional omega-stable theories. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:33-52 [Conf]
   
6. Steven Buechler
   "Geometrical" stability theory. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:53-66 [Conf]
   
7. Gregory L. Cherlin
   Homogeneous directed graphs. The imprimitive case. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:67-88 [Conf]
   
8. Bruno Courcelle
   Proofs of partial correctness for iterative and recursive computations. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:89-110 [Conf]
   
9. Jean van Heijenoort
   Système et Métasystème chez Russell. [Citation Graph (0, 0)][DBLP]
   Logic Colloquium, 1985, pp:111-122 [Conf]
   
10. Thierry Coquand, Gérard P. Huet
    Concepts mathématiques et informatiques formalisés dans le calcul des constructions. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:123-146 [Conf]
    
11. D. Isaacson
    Arithmetical truth and hidden higher-order concepts. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:147-170 [Conf]
    
12. J. Jaeger
    Some proof-theoretic contributions to theories of sets. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:171-192 [Conf]
    
13. Kenneth L. Manders
    Logic and conceptual relationships in mathematics. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:193-212 [Conf]
    
14. Peter Päppinghaus
    Pi₂-models of extensions of Kripke-Platek set theory. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:213-232 [Conf]
    
15. U. Hrushovski, Anand Pillay
    Weakly normal groups. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:233-244 [Conf]
    
16. Bruno Poizat
    A propos de groues stables. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:245-266 [Conf]
    
17. Marie-Françoise Roy
    Logique et géométrie algébrique réelle. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:267-280 [Conf]
    
18. Andre Scedrov
    Some aspects of categorial semantics: sheves and glueing. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:281-302 [Conf]
    
19. Ulf R. Schmerl
    Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:303-0 [Conf]