Howard A. Blair

From MaRDI portal
(Redirected from Person:1262745)



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!

PublicationDate of PublicationType
Game characterizations of logic program properties
Logic Programming and Nonmonotonic Reasoning
2022-08-30Paper
Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction2021-06-29Paper
Topological signals of singularities in Ricci flow
Axioms
2019-10-02Paper
Set based logic programming
Annals of Mathematics and Artificial Intelligence
2009-07-13Paper
Elementary Differential Calculus on Discrete and Hybrid Structures
Logical Foundations of Computer Science
2008-01-04Paper
scientific article; zbMATH DE number 1368926 (Why is no real title available?)2002-02-21Paper
scientific article; zbMATH DE number 708664 (Why is no real title available?)2000-06-21Paper
scientific article; zbMATH DE number 1324444 (Why is no real title available?)1999-08-16Paper
Definite clause programs are canonical (over a suitable domain)
Annals of Mathematics and Artificial Intelligence
1997-12-14Paper
scientific article; zbMATH DE number 978238 (Why is no real title available?)1997-06-03Paper
The expressiveness of locally stratified programs
Annals of Mathematics and Artificial Intelligence
1997-02-03Paper
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
1997-01-01Paper
scientific article; zbMATH DE number 4199630 (Why is no real title available?)1991-01-01Paper
scientific article; zbMATH DE number 4147557 (Why is no real title available?)1990-01-01Paper
Paraconsistent logic programming
Theoretical Computer Science
1989-01-01Paper
scientific article; zbMATH DE number 4128792 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4026795 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 3907807 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3872671 (Why is no real title available?)1984-01-01Paper
The recursion-theoretic complexity of the semantics of predicate logic as a programming language
Information and Control
1982-01-01Paper


Research outcomes over time


This page was built for person: Howard A. Blair