Article (Scientific journals)
Scalable Fine-Grained Proofs for Formula Processing
Barbosa, Haniel; Blanchette, Jasmin Christian; Fleury, Mathias et al.
2020In Journal of Automated Reasoning, 64 (3), p. 485-510
Peer Reviewed verified by ORBi
 

Files


Full Text
jour.pdf
Author preprint (241.78 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Barbosa, Haniel
Blanchette, Jasmin Christian
Fleury, Mathias
Fontaine, Pascal ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes informatiques distribués
Language :
English
Title :
Scalable Fine-Grained Proofs for Formula Processing
Publication date :
2020
Journal title :
Journal of Automated Reasoning
ISSN :
0168-7433
eISSN :
1573-0670
Publisher :
Kluwer Academic Publishers, Netherlands
Volume :
64
Issue :
3
Pages :
485-510
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 05 February 2021

Statistics


Number of views
38 (1 by ULiège)
Number of downloads
40 (1 by ULiège)

Scopus citations®
 
14
Scopus citations®
without self-citations
5
OpenCitations
 
8

Bibliography


Similar publications



Contact ORBi