Albert Hoogewijs

Available identifiers

zbMath Open hoogewijs.albertMaRDI QIDQ590723

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Albert Hoogewijs