Albert Hoogewijs

Available identifiers

Publication	Date of Publication	Type
On the size of minimal blocking sets of Q(4; q ), for q = 5,7	2016-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3111926	2012-01-13	Paper
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts	2007-09-10	Paper
Extending a first order predicate calculus with partially defined iota terms	2007-08-10	Paper
The non-definedness notion in expert systems	2000-01-05	Paper
KARNAK an automated theorem prover for PPC	1995-01-01	Paper
Partial-predicate logic in computer science	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657985	1983-01-01	Paper
A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC	1983-01-01	Paper
On a Formalization of the Non-Definedness Notion	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111641	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126501	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4161824	1976-01-01	Paper

This page was built for person: Albert Hoogewijs