Year |
Citation |
Score |
2015 |
Patten DR, Jakel DW, Irwin RJ, Blair HA. Heterotic quantum and classical computing on convergence spaces Proceedings of Spie - the International Society For Optical Engineering. 9500. DOI: 10.1117/12.2179050 |
0.565 |
|
2013 |
Blair HA, Alsing PM. Handy elementary algebraic properties of the geometry of entanglement Proceedings of Spie - the International Society For Optical Engineering. 8749. DOI: 10.1117/12.2015994 |
0.371 |
|
2012 |
McDonald JR, Alsing PM, Blair HA. A geometric view of quantum cellular automata Proceedings of Spie - the International Society For Optical Engineering. 8400. DOI: 10.1117/12.921329 |
0.342 |
|
2011 |
Irwin RJ, Blair HA. Quantum cellular automata without quiescent states Proceedings of Spie - the International Society For Optical Engineering. 8057. DOI: 10.1117/12.884182 |
0.54 |
|
2008 |
Blair HA, Marek VW, Remmel JB. Set based logic programming Annals of Mathematics and Artificial Intelligence. 52: 81-105. DOI: 10.1007/S10472-008-9098-1 |
0.405 |
|
2008 |
Blair HA, Jakel DW, Irwin RJ, Rivera AJ. Hybrid programs: Symmetrically combining natively discrete and continuous truth-values 10th International Symposium On Artificial Intelligence and Mathematics, Isaim 2008. |
0.511 |
|
2007 |
Blair HA, Jakel DW, Irwin RJ, Rivera A. Elementary differential calculus on discrete and hybrid structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4514: 41-53. |
0.513 |
|
1997 |
Blair HA, Chidella J, Dushin F, Ferry A, Humenn P. A continuum of discrete systems Annals of Mathematics and Artificial Intelligence. 21: 153-186. DOI: 10.1023/A:1018913302060 |
0.408 |
|
1995 |
Blair HA, Marek VW, Schlipf JS. The expressiveness of locally stratified programs Annals of Mathematics and Artificial Intelligence. 15: 209-229. DOI: 10.1007/Bf01534455 |
0.375 |
|
1990 |
Blair HA, Brown AL. Definite clause programs are canonical (over a suitable domain) Annals of Mathematics and Artificial Intelligence. 1: 1-19. DOI: 10.1007/Bf01531067 |
0.336 |
|
1989 |
Blair HA, Subrahmanian VS. Paraconsistent logic programming Theoretical Computer Science. 68: 135-154. DOI: 10.1016/0304-3975(89)90126-6 |
0.508 |
|
1982 |
Blair HA. The recursion-theoretic complexity of the semantics of predicate logic as a programming language Information and Control. 54: 25-47. DOI: 10.1016/S0019-9958(82)91234-7 |
0.369 |
|
Show low-probability matches. |