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

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: Howard A. Blair