Documents (Codes MSC)

• [Multi angle] Weighted relational models / Auteur de la Conférence McCusker, Guy. -Marseille : CIRM
  
• [Multi angle] An introduction to Differential Linear Logic / Auteur de la Conférence Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] From axioms to synthetic inference rules via focusing / Auteur de la Conférence Miller, Dale. -Marseille : CIRM
  
• [Multi angle] A geometric theory of algorithms / Auteur de la Conférence Seiller, Thomas. -Marseille : CIRM
  
• [Multi angle] Focused proof systems / Auteur de la Conférence Miller, Dale. -Marseille : CIRM
  
• [Multi angle] Differential linear logic extended to differential operators / Auteur de la Conférence Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] Deux ou trois choses que je sais d'elle : la logique / Auteur de la Conférence Girard, Jean-Yves. -Marseille : CIRM
  
• [Multi angle] Quantified constraint satisfaction problem: towards the classification of complexity / Auteur de la Conférence Zhuk, Dmitriy. -Marseille : CIRM
  
• [Multi angle] Time warps, from algebra to algorithms / Auteur de la Conférence Santschi, Simon. -Marseille : CIRM
  
• [Multi angle] Fixpoint games / Auteur de la Conférence König, Barbara. -Marseille : CIRM
  
• [Multi angle] Semistructured data, logic, and automata – part 2 / Auteur de la Conférence Figueira, Diego. -Marseille : CIRM
  
• [Multi angle] Databases and descriptive complexity – part 2 / Auteur de la Conférence Schweikardt, Nicole. -Marseille : CIRM
  
• [Multi angle] Databases and descriptive complexity – part 1 / Auteur de la Conférence Schweikardt, Nicole. -Marseille : CIRM
  
• [Multi angle] Semistructured data, logic, and automata – part 1 / Auteur de la Conférence Figueira, Diego. -Marseille : CIRM
  

Documents liés : [14 document(s)]