On Theories Mixing Arithmetic and Uninterpreted Predicates

Vergain, Baptiste

Download

Doctoral thesis (Dissertations and theses)

On Theories Mixing Arithmetic and Uninterpreted Predicates

Vergain, Baptiste

2026

Permalink
https://hdl.handle.net/2268/349500

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

Thesis.pdf

Author preprint (1.33 MB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Research Center/Unit :

Montefiore Institute - Montefiore Institute of Electrical Engineering and Computer Science - ULiège

Disciplines :

Computer science

Author, co-author :

Vergain, Baptiste ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science

Language :

English

Title :

On Theories Mixing Arithmetic and Uninterpreted Predicates

Defense date :

2026

Institution :

ULiège - Université de Liège [Sciences Appliquées], Liège, Belgium

Degree :

Doctor of Philosophy (PhD) in Engineering and Technology Sciences

Promotor :

Boigelot, Bernard ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science

Fontaine, Pascal ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science

President :

Debruyne, Christophe ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science

Jury member :

Sofronie-Stokkermans, Viorica; University of Koblenz > Faculty 4: Computer Science

Herbreteau, Frédéric; LaBRI - CNRS UMR 5800 > Modelling and Technologies for Verification

Brihaye, Thomas; UMONS - Université de Mons > Service de Mathématiques effectives

Funding text :

This thesis reproduces in parts works partially supported by the FNRS-DFG PDR Weave (SMT-ART) grant 40019202, and by an Amazon Research Award, Fall 2022 CFP.

Available on ORBi :

since 08 October 2026

Statistics

Number of views

19 (5 by ULiège)

Number of downloads

15 (1 by ULiège)

More statistics