Paper published in a book (Scientific congresses and symposiums)
Quantifier Simplification by Unification in SMT
Fontaine, Pascal; Schurr, Hans-Jörg
2021In Frontiers of Combining Systems (FroCoS)
Peer reviewed
 

Files


Full Text
Fontaine18.pdf
Author preprint (351.05 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Fontaine, Pascal ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes informatiques distribués
Schurr, Hans-Jörg
Language :
English
Title :
Quantifier Simplification by Unification in SMT
Publication date :
2021
Event name :
Frontiers of Combining Systems (FroCoS)
Event date :
from 08-09-2021 to 10-09-2021
Main work title :
Frontiers of Combining Systems (FroCoS)
Publisher :
Springer
Collection name :
lncs
Pages :
232-249
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 713999 - Matryoshka - Fast Interactive Verification through Strong Higher-Order Automation
Funders :
CE - Commission Européenne [BE]
Available on ORBi :
since 09 December 2021

Statistics


Number of views
48 (6 by ULiège)
Number of downloads
82 (4 by ULiège)

Scopus citations®
 
3
Scopus citations®
without self-citations
2
OpenCitations
 
0

Bibliography


Similar publications



Contact ORBi