Paul A. Strooper

Available identifiers

zbMath Open strooper.paul-aMaRDI QIDQ1121799

List of research outcomes

Publication	Date of Publication	Type
Don't Care Non-determinism in Logic Program Refinement	2013-07-24	Paper
Refinement of Higher-Order Logic Programs	2011-03-04	Paper
Calculating modules in contextual logic program refinement	2008-01-21	Paper
Program Development in Computational Logic	2005-12-23	Paper
A refinement calculus for logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421869	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412494	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4790664	2003-02-04	Paper
A framework for table driven testing of Java classes	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536449	2002-11-25	Paper
Refinement and state machine abstraction	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4250656	1999-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4370272	1998-06-01	Paper
Describing symmetrical structures in logic.	1997-05-12	Paper
CLP(ℛ) as a general finite element model definition language	1996-01-10	Paper
Discovering inequality conditions in the analytic solution of optimization problems	1989-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: Paul A. Strooper