par Libert, Thierry ;Forster, T.;Holmes, Richard
Editeur scientifique Gabbay, Dov M.;Woods, John;Kanamori, Akihiro
Référence Handbook of the history of logic, Elsevier, Vol. 6, Sets and Extensions in the Twentieth Century
Publication Publié, 2009
Partie d'ouvrage collectif
Titre:
  • Alternative Set Theories
Auteur:Libert, Thierry; Forster, T.; Holmes, Richard
Editeur scientifique:Gabbay, Dov M.; Woods, John; Kanamori, Akihiro
Informations sur la publication:Handbook of the history of logic, Elsevier, Vol. 6, Sets and Extensions in the Twentieth Century
Statut de publication:Publié, 2009
Sujet CREF:Logique mathématique
Note générale:SCOPUS: ch.b
Langue:Anglais
Identificateurs:urn:isbn:9780444516213
info:doi/10.1016/B978-0-444-51555-1.50015-8
info:pii/B9780444515551500158
info:scp/84882529208

Documents en relation

DI-fusion

  • Finite-valued Streaming String Transducers
    par Filiot, Emmanuel , Jecker, Ismaël Robin , Löding, Christof , Muscholl, Anca , Puppis, Gabriele , Winter, Sarah
    Publication 2024-07-01
  • Stackelberg-Pareto Synthesis
    par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
    Publication 2024-04-01
  • Alternating Tree Automata with Qualitative Semantics
    par Berthon, Raphaël , Fijalkow, Nathanaël , Filiot, Emmanuel , Guha, Shibashis , Maubert, Bastien , Murano, Aniello , Pinault, Laureline , Pinchinat, Sophie , Rubin, Sasha , Serre, Olivier
    Publication 2021-01-01
  • Resistance of African tropical forests to an extreme climate anomaly
    par Bennett, Amy C. , Dargie, Greta , Cuni-Sanchez, Aida , Tshibamba Mukendi, John , Hubau, Wannes , Mukinzi, Jacques M. , Phillips, Oliver L. , Malhi, Yadvinder , Sullivan, Martin J P , Cooper, Declan L. M. , Adu-Bredu, Stephen , Affum-Baffoe, Kofi , Amani, Christian , Banin, Lindsay F. , Beeckman, Hans , Kouob Bégné, Serge , Bocko, Yannick , Boeckx, Pascal , Bogaert, Jan , Brncic, Terry , Chezeaux, Eric , Clark, Connie J. , Daniels, Armandu K. , De Haulleville, Thales , Djuikouo Kamdem, Marie-Noël , Doucet, Jean-Louis , Evouna Ondo, Fidèle , Ewango, Corneille , Feldpausch, Ted R. , Foli, Ernest , Gonmadje, Christelle Flore , Hall, Jefferson S. , Hardy, Olivier J. , Harris, David J. , Ifo, Suspense , Jeffery, Kathryn , Kearsley, Elizabeth , Leal, Miguel , Levesley, Aurora , Makana, Jean Rémy , Mbayu Lukasu, Faustin , Medjibe, Vincent , Mihindu, Vianet , Moore, Sam , Nssi Begone, Natacha , Pickavance, Georgia C. , Poulsen, John R. , Reitsma, Jan , Sonke, Bonaventure , Sunderland, Terry C H , Taedoumg, Hermann , Talbot, Joey , Tuagben, Darlington , Umunay, Peter M. , Verbeeck, Hans , Vleminckx, Jason , White, Lee Jt T , Woell, Hannsjoerg , Woods, John T. , Zemagho, Lise L.A. , Lewis, Simon L.
    Publication 2021-05
  • High aboveground carbon stock of African tropical montane forests
    par Cuni-Sanchez, Aida , Sullivan, Martin J P , Platts, P.J. , Lewis, Simon L. , Marchant, Rob , Imani, G. , Hubau, Wannes , Abiem, I. , Adhikari, H. , Albrecht, T. , Altman, J. , Amani, Christian , Aneseyee, A.B. , Avitabile, Valerio , Banin, L. , Batumike, R. , Bauters, M , Beeckman, Hans , Kouob Bégné, Serge , Bennett, Amy C. , Bitariho, R. , Boeckx, Pascal , Bogaert, Jan , Bräuning, A. , Bulonvu, F. , Burgess, Neil N.D. , Calders, K. , Chapman, C. , Chapman, H. , Comiskey, James , De Haulleville, Thales , Decuyper, Mathieu , DeVries, B. , Dolezal, J. , Droissart, Vincent , Ewango, Corneille , Feyera, S. , Gebrekirstos, A. , Gereau, Roy R.E. , Gilpin, M. , Hakizimana, D. , Hall, Jefferson S. , Hamilton, A. , Hardy, Olivier J. , Hart, Terese , Heiskanen, J. , Hemp, A. , Herold, Martin , Hiltner, U. , Horak, D. , Kamdem, Marie Noël Djuikouo , Kayijamahe, C. , Kenfack, David , Kinyanjui, M.J. , Klein, J. , Lisingo Wa Lisingo, Janvier , Lovett, J. , Lung, M. , Makana, Jean Rémy , Malhi, Yadvinder , Marshall, Andrew A.R. , Martin, E.H. , Mitchard, E.T.A. , Morel, A. , Mukendi, J.T. , Muller, T. , Nchu, F. , Nyirambangutse, B. , Okello, Judith Auma , Peh, Kelvin S H , Pellikka, P. , Phillips, Oliver L. , Plumptre, Andrew A.J. , Qie, L. , ROVERO, Francesco , Sainge, M.N. , Schmitt, Christine C.B. , Sedlacek, O. , Ngute, A.S.K. , Sheil, Douglas , Sheleme, D. , Simegn, T.Y. , Simo-Droissart, Murielle , Sonke, Bonaventure , Soromessa, T. , Sunderland, Terry C. , Svoboda, Miroslav , Taedoumg, Hermann , Taplin, J. , Taylor, David , Thomas, S.C. , Timberlake, Jonathan J.R. , Tuagben, Darlington , Umunay, Peter M. , Uzabaho, E. , Verbeeck, Hans , Vleminckx, Jason , Wallin, G. , Wheeler, C. , Willcock, S. , Woods, John T. , Zibera, E.
    Publication 2021-01-01