Vol-2549⫷ Vol-2550 ⫸Vol-2551
urn:nbn:de:0074-2550-0


Vol-2550/paper3⫷Vol-2550/paper4⫸Vol-2550/paper5

Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars