scientific article; zbMATH DE number 5198971
From MaRDI portal
Publication:5309394
zbMATH Open1118.68412MaRDI QIDQ5309394
Publication date: 9 October 2007
Title of this publication is not available (Why is that?)
Related Items (2)
Matching of bounded set terms in the logic language LDL++ ⋮ On lovely pairs and the \((\exists y\in P)\) quantifier
Uses Software
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 Q5309394)
