Paul Strooper

zbMath Openstrooper.paul-aMaRDI QIDQ1121799

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Don't care non-determinism in logic program refinement Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Refinement of Higher-Order Logic Programs Logic Based Program Synthesis and Transformation	2011-03-04	Paper
Calculating modules in contextual logic program refinement Theory and Practice of Logic Programming	2008-01-21	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
A refinement calculus for logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1973216 (Why is no real title available?)	2003-09-01	Paper
scientific article; zbMATH DE number 1949599 (Why is no real title available?)	2003-07-15	Paper
scientific article; zbMATH DE number 1863389 (Why is no real title available?)	2003-02-04	Paper
A framework for table driven testing of Java classes Software: Practice and Experience	2003-02-04	Paper
scientific article; zbMATH DE number 1759495 (Why is no real title available?)	2002-11-25	Paper
Refinement and state machine abstraction Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1303988 (Why is no real title available?)	1999-11-02	Paper
scientific article; zbMATH DE number 1104390 (Why is no real title available?)	1998-06-01	Paper
Describing symmetrical structures in logic. Annals of Mathematics and Artificial Intelligence	1997-05-12	Paper
CLP(ℛ) as a general finite element model definition language International Journal for Numerical Methods in Engineering	1996-01-10	Paper
Discovering inequality conditions in the analytic solution of optimization problems Journal of Automated Reasoning	1989-01-01	Paper

Research outcomes over time

This page was built for person: Paul Strooper