Search Results

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.

• Authors : Bhattacharyya, Arnab; Gupta, Ashutosh; Kuppusamy, Lakshmanan

Subjects: COMBINATORIAL chemistry; CHEMICAL labeling; EUKARYOTIC cells

• Source: Acta Informatica; Apr2021, Vol. 58 Issue 1/2, p57-93, 37p

Record details

The equivalence of Horn and network complexity for Boolean functions

• Authors : Anderaa, Stal O.; Börger, Egon

• Source: Acta Informatica; June 1981, Vol. 15 Issue: 3 p303-307, 5p

Record details

An improved complexity hierarchy on the depth of Boolean functions

• Authors : Wegener, Ingo

• Source: Acta Informatica; June 1981, Vol. 15 Issue: 2 p147-152, 6p

Record details

Replaceability and computational equivalence for monotone boolean functions

• Authors : Beynon, Meurig

• Source: Acta Informatica; October 1985, Vol. 22 Issue: 4 p433-449, 17p

Record details

New lower bounds on the formula size of Boolean functions

• Authors : Schürfeld, Ute

• Source: Acta Informatica; April 1983, Vol. 19 Issue: 2 p183-194, 12p

Record details

A branch-and-bound algorithm to obtain an optimal evaluation tree for monotonic Boolean functions

• Authors : Breitbart, Yu.; Reiter, A.

• Source: Acta Informatica; December 1975, Vol. 4 Issue: 4 p311-319, 9p

Record details

Complexity hierarchies for Boolean functions

• Authors : McColl, William F.

• Source: Acta Informatica; March 1978, Vol. 11 Issue: 1 p71-77, 7p

Record details

Optimal covers in the relational database model.

• Authors : Peng, Xiaoning; Xiao, Zhijun

Subjects: RELATIONAL databases; BOOLEAN algebra; CANONICAL transformations

• Source: Acta Informatica; Aug2016, Vol. 53 Issue 5, p459-468, 10p

Record details

Size-depth tradeoff in monotone Boolean formulae.

• Authors : Commentz-Walter, Beate

• Source: Acta Informatica; 1979, Vol. 12 Issue 3, p227-243, 17p

Record details

Generating Boolean μ-expressions.

• Authors : Eiter, Thomas

• Source: Acta Informatica; 1995, Vol. 32 Issue 2, p171-187, 17p

Record details