Howard A. Blair

Available identifiers

zbMath Open blair.howard-aMaRDI QIDQ1262745

List of research outcomes

Publication	Date of Publication	Type
Game characterizations of logic program properties	2022-08-30	Paper
Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction	2021-06-29	Paper
Topological signals of singularities in Ricci flow	2019-10-02	Paper
Set based logic programming	2009-07-13	Paper
Elementary Differential Calculus on Discrete and Hybrid Structures	2008-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4702570	2002-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4318639	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4255516	1999-08-16	Paper
Definite clause programs are canonical (over a suitable domain)	1997-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4332414	1997-06-03	Paper
The expressiveness of locally stratified programs	1997-02-03	Paper
A continuum of discrete systems	1997-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3348419	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3477998	1990-01-01	Paper
Paraconsistent logic programming	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207887	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768366	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685233	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339282	1984-01-01	Paper
The recursion-theoretic complexity of the semantics of predicate logic as a programming language	1982-01-01	Paper

Research outcomes over time

This page was built for person: Howard A. Blair