1.The Complexity of Generalized Satisfiability for Linear Temporal Logic

作　　者：Michael Bauland ;Thomas Schneider ;Henning Schnoor 等

出　　处：Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:1)2009

出版社：Technical University of Braunschweig

文章 ID：47109793

文章详细全文下载
2.Comparing Static and Dynamic Weighted Software Coupling Metrics

作　　者：Henning Schnoor ;Wilhelm Hasselbring

出　　处：Computers. 2020 ;9(2).doi:10.3390/computers9020024

出版社：MDPI Publishing

文章 ID：246948590

文章详细全文下载
3.Complexity classifications for different equivalence and audit problems for Boolean circuits

作　　者：Elmar Böhler ;Nadia Creignou ;Matthias Galota 等

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:31)2012

出版社：Technical University of Braunschweig

文章 ID：264691966

文章详细全文下载
4.On the Complexity of Elementary Modal Logics

作　　者：Edith Hemaspaandra ;Henning Schnoor

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:349-360.doi:10.4230/LIPIcs.STACS.2008.1356

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

文章 ID：186845461

文章详细全文下载
5.A Van Benthem Theorem for Modal Team Semantics

作　　者：Juha Kontinen ;Julian-Steffen M{\"u}ller ;Henning Schnoor 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:277-291.doi:10.4230/LIPIcs.CSL.2015.277

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

文章 ID：186847052

文章详细全文下载

	Henning Schnoor	5篇
	Heribert Vollmer	3篇
	Edith Hemaspaandra	1篇
	Elmar Böhler	1篇
	Ilka Schnoor	1篇

	Juha Kontinen	1篇
	Julian-Steffen M{\"u}ller	1篇
	Matthias Galota	1篇
	Michael Bauland	1篇
	Nadia Creignou	1篇
	Steffen Reith	1篇
	Thomas Schneider	1篇
	Wilhelm Hasselbring	1篇

	德国	4篇
	瑞士	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Henning Schnoor")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	2篇
	Computers	1篇

	2020	1篇
	2015	1篇
	2012	1篇
	2009	1篇
	2008	1篇