Free Boolean algebra

#	Item
11	CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration Rune M. Jensen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-20 10:39:50 Boolean algebra Diagrams Model checking Clab M2 BackTrack Nuclear physics Systems engineering process Nuclear technology Radioactive waste Binary decision diagram
12	PDF Document Add to Reading List Source URL: users.utu.fi Language: English - Date: 2013-07-11 10:03:51 Algebra Context-free grammar Boolean grammar Conjunctive grammar LL parser Formal grammar Ambiguous grammar Matrix Logical matrix Formal languages Mathematics Theoretical computer science