scientific article; zbMATH DE number 2185689

zbMATH Open1063.68583MaRDI QIDQ3024871FDOQ3024871

Authors: Elsa Gunter, Leonid Libkin 

Publication date: 4 July 2005

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Database theory (68P15)

Uses Software

• HOL90

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024871)