Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic > 03B70 Logic in computer science"
![]() | Up a level |
- MSC Classification Numbers (2)
- 03-XX Mathematical logic and foundations (2)
- 03Bxx General logic (2)
- 03B70 Logic in computer science (2)
- 03Bxx General logic (2)
- 03-XX Mathematical logic and foundations (2)
Group by: Authors | Item Type
Jump to: B
Number of items at this level: 2.
B
Ben-Khalifa, Kamel and Motameny, Susanne
(2009)
Horn representation of a concept lattice.
Published in:
International journal of general systems : IJGS ; a comprehensive periodical devoted to general systems ; methodology, applications and education Vol. 38 (4).
pp. 469-483.
Buchheim, Christoph and Rinaldi, Giovanni
(2009)
Terse Integer Linear Programs for Boolean Optimization.
Published in:
Journal on Satisfiability, Boolean Modeling and Computation Vol. 6.
pp. 121-139.