scientific article; zbMATH DE number 1501628
From MaRDI portal
Publication:4500375
zbMATH Open0963.68061MaRDI QIDQ4500375FDOQ4500375
Authors: Wendy MacCaull 
Publication date: 11 January 2001
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4061209
- Relational proof system for relevant logics
- scientific article; zbMATH DE number 1827079
- scientific article; zbMATH DE number 970626
- scientific article; zbMATH DE number 1735911
- A Proof Procedure for Data Dependencies
- A top-down proof procedure for generalized data dependencies
- Relational proof system for linear and other substructural logics
- Relational semantics and a relational proof system for full Lambek calculus
- Correspondence results for relational proof systems with application to the Lambek calculus
Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cited In (10)
- Title not available (Why is that?)
- A reasoning system for satisfiability of diagrammatic specifications
- Title not available (Why is that?)
- Tableaux for functional dependencies and independencies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q4500375)
