# Albert Hoogewijs

According to our database

^{1}, Albert Hoogewijs## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2006

SV

_{t}L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

2004

ACM SIGSAM Bulletin, 2004

2001

Automated Reasoning with Ordinary Assertions and Default Assumptions.

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999

The Non-Definedness Notion in Expert Systems.

Inf. Sci., 1999

1997

LL(1) descriptions for robots.

Robotica, 1997

1987

Partial-Predicate Logic in Computer Science.

Acta Inf., 1987

1983

A Partial Predicate Calculus in a Two-Valued Logic.

Math. Log. Q., 1983

1979

On a Formalization of the Non-Definedness Notion.

Math. Log. Q., 1979