1.Open Graphs and Computational Reasoning

作　　者：Lucas Dixon ;Ross Duncan ;Aleks Kissinger

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;26:169-180.doi:10.4204/EPTCS.26.16

出版社：Open Publishing Association

文章 ID：83119932

文章详细全文下载
2.The GHZ/W-calculus contains rational arithmetic

作　　者：Bob Coecke ;Aleks Kissinger ;Alex Merry 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;52:34-48.doi:10.4204/EPTCS.52.4

出版社：Open Publishing Association

文章 ID：83120145

文章详细全文下载
3.A First-order Logic for String Diagrams

作　　者：Aleks Kissinger ;David Quick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:171-189.doi:10.4230/LIPIcs.CALCO.2015.171

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847101

文章详细全文下载
4.Globular: An Online Proof Assistant for Higher-Dimensional Rewriting

作　　者：Krzysztof Bar ;Aleks Kissinger ;Jamie Vicary

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:34:1-34:11.doi:10.4230/LIPIcs.FSCD.2016.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847466

文章详细全文下载
5.ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity

作　　者：Miriam Backens ;Aleks Kissinger

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;287:23-42.doi:10.4204/EPTCS.287.2

出版社：Open Publishing Association

文章 ID：1034560682

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Krzysztof Bar	1篇
	Lucas Dixon	1篇
	Miriam Backens	1篇
	Ross Duncan	1篇
	Shibdas Roy	1篇

	澳大利亚	3篇
	德国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Aleks Kissinger")))) )) ) )"

	Aleks Kissinger	5篇
	Alex Merry	1篇
	Bob Coecke	1篇
	David Quick	1篇
	Jamie Vicary	1篇

	Electronic Proceedings in Theoretical Computer Science	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

	2019	1篇
	2016	1篇
	2015	1篇
	2010	2篇