Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Incorporating a Database of Graphs into a Proof Assistant

20242 citationsBook Chapter

Authors

Andrej Bauer · University of Ljubljana

Katja Berčič · University of Ljubljana

Gauvain Devillez · University of Ljubljana

Jure Taslak · University of Ljubljana

Topics & Keywords

Logic, programming, and type systems Advanced Database Systems and Queries Constraint Satisfaction and Optimization

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-031-66997-2_9

Field-Weighted Citation Impact: 1.60

Incorporating a Database of Graphs into a Proof Assistant | Researchclopedia