×

zbMATH — the first resource for mathematics

Hoogewijs, Albert

Compute Distance To:
Author ID: hoogewijs.albert Recent zbMATH articles by "Hoogewijs, Albert"
Published as: Hoogewijs, Albert; Hoogewijs, A.
Documents Indexed: 14 Publications since 1976, including 2 Books
Reviewing Activity: 112 Reviews

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 35 times in 26 Documents Cited by Year
On a formalization of the non-definedness notion. Zbl 0415.03019
Hoogewijs, Albert
12
1979
Partial-predicate logic in computer science. Zbl 0598.03018
Hoogewijs, Albert
8
1987
A partial predicate calculus in a two-valued logic. Zbl 0521.03006
Hoogewijs, Albert
6
1983
\(\mathcal J\)-congruences on seminearrings. Zbl 0355.16025
Hoogewijs, Albert
5
1976
On the size of minimal blocking sets of \(Q(4,q)\), for \(q = 5,7\). Zbl 1341.51010
De Beule, J.; Hoogewijs, A.; Storme, L.
2
2004
Free distributively generated algebras over a set. Zbl 0344.08003
Hoogewijs, A.
1
1976
SV\(_{\text{t}}\)L: system verification through logic tool support for verifying sliced hierarchical statecharts. Zbl 1196.68144
Van Langenhove, Sara; Hoogewijs, Albert
1
2007
SV\(_{\text{t}}\)L: system verification through logic tool support for verifying sliced hierarchical statecharts. Zbl 1196.68144
Van Langenhove, Sara; Hoogewijs, Albert
1
2007
On the size of minimal blocking sets of \(Q(4,q)\), for \(q = 5,7\). Zbl 1341.51010
De Beule, J.; Hoogewijs, A.; Storme, L.
2
2004
Partial-predicate logic in computer science. Zbl 0598.03018
Hoogewijs, Albert
8
1987
A partial predicate calculus in a two-valued logic. Zbl 0521.03006
Hoogewijs, Albert
6
1983
On a formalization of the non-definedness notion. Zbl 0415.03019
Hoogewijs, Albert
12
1979
\(\mathcal J\)-congruences on seminearrings. Zbl 0355.16025
Hoogewijs, Albert
5
1976
Free distributively generated algebras over a set. Zbl 0344.08003
Hoogewijs, A.
1
1976

Citations by Year