×

zbMATH — the first resource for mathematics

Journal of Formalized Reasoning

Short Title: J. Formaliz. Reason.
Publisher: Università di Bologna, CIB Centro Inter-Bibliotecario, Bologna
ISSN: 1972-5787/e
Online: http://jfr.cib.unibo.it/issue/archive
Comments: Indexed cover-to-cover; Published electronic only as of Vol. 1 (2008). This journal is available open access.
Documents indexed: 61 Publications (since 2008)
References indexed: 14 Publications with 508 References
all top 5

Authors

3 Asperti, Andrea
2 Affeldt, Reynald
2 Ahrens, Benedikt
2 Ayala-Rincón, Mauricio
2 Chapman, James T. E.
2 Grimm, José
2 Guidi, Ferruccio
2 Harrison, John R.
2 Kaliszyk, Cezary
2 Narkawicz, Anthony Joseph
2 Ricciotti, Wilmer
2 Sacerdoti Coen, Claudio
2 Urban, Josef
2 Uustalu, Tarmo
1 Adams, Mark F.
1 Aguado, Felicidad
1 Alessi, Fabio
1 Allais, Guillaume
1 Allamigeon, Xavier
1 Altenkirch, Thorsten
1 Armentano, Cristian
1 Arthan, Rob D.
1 Arthan, Robin Denis
1 Avron, Arnon
1 Bacelar Almeida, José
1 Baelde, David
1 Bagnall, Alexander
1 Barras, Bruno
1 Beeson, Michael J.
1 Benzmüller, Christoph Ewald
1 Bertot, Yves
1 Bingham, Jesse D.
1 Blanchette, Jasmin Christian
1 Buchberger, Bruno
1 Buckley, Mitchell
1 Butler, Ricky Wayne
1 Caminati, Marco Bright
1 Carneiro, Mario M.
1 Chan, Hing-Lun
1 Chaudhuri, Kaustuv
1 Chen, Ran
1 Chiarabini, Luca
1 Chlipala, Adam J.
1 Ciaffaglione, Alberto
1 Clochard, Martin
1 Cohen, Cyril
1 Cohen, Liron
1 Coquand, Thierry
1 Danvy, Olivier
1 De Queiroz, Ruy José Guerra Barretto
1 De Rauglaudre, Daniel
1 Di Gianantonio, Pietro
1 Doncel, José Luis
1 Dutle, Aaron
1 Gacek, Andrew
1 Galdino, André Luiz
1 Gaubert, Stéphane
1 Gonthier, Georges
1 Grabowski, Adam
1 Grov, Gudmund
1 Hölzl, Johannes
1 Honsell, Furio
1 Jebelean, Tudor
1 Kohlhase, Michael
1 Korniłowicz, Artur
1 Kutsia, Temur
1 Lenisa, Marina
1 Lescanne, Pierre
1 Lin, Yuhui
1 Lyaletsky, Alexandre
1 Magron, Victor
1 Mahboubi, Assia
1 Maletzky, Alexander
1 Marché, Claude
1 Merten, Samuel
1 Miller, Dale Allen
1 Molinelli, Jose María
1 Monnier, Stefan
1 Moreira, Nelma
1 Mörtberg, Anders
1 Muñoz, César A.
1 Nadathur, Gopalan
1 Naumowicz, Adam
1 Neron, Pierre
1 Nipkow, Tobias
1 Norrish, Michael
1 O’Connor, Russell
1 Padmanabhan, Ranganathan
1 Paulson, Lawrence Charles
1 Pérez, Gilberto
1 Pientka, Brigitte
1 Popescu, Andrei
1 Quirin, Kevin
1 Rabe, Florian
1 Ramos, Marcus Vinícius Midena
1 Rego, Yuri Santos
1 Rouhling, Damien
1 Roux, Pierre
1 Sakaguchi, Kazuhiko
1 Savary-Belanger, Olivier
...and 17 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription