Embedded implicational dependencies and their inference problem
- Ashok K. Chandra
- Harry R. Lewis
- et al.
- 1981
- STOC 1981
Publications
Date
Featured collections
Popular topics
5 results for J.A. Makowsky
The enumeration of vertex induced subgraphs with respect to the number of components
- P. Tittmann
- Ilia Averbouch
- et al.
- 2011
- European Journal of Combinatorics
Formal interactive menu design
- Jacob Ukelson
- Johann Makowsky
- 1992
- Interacting with Computers
Decidability of finite probabilistic propositional dynamic logics
- M. Tiomkin
- J.A. Makowsky
- 1991
- Information and Computation
On the expressive power of data dependencies
- Johann A. Makowsky
- Moshe Y. Vardi
- 1986
- Acta Informatica