1.Research on the Crustumerium Road Trench .

作　　者：Antti Kuusisto ;Juha Tuppi

出　　处：Fasti Online Documents & Research (FOLD&R ). 2009 ;.

出版社：Associazione Internazionale di Archeologia Classica

文章 ID：108416139

文章详细全文下载

2.Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)

作　　者：Cristina Feier ;Antti Kuusisto ;Carsten Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:1:1-1:17.doi:10.4230/LIPIcs.ICDT.2017.1

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

文章 ID：191698389

文章详细全文下载

3.CTL with Finitely Bounded Semantics

作　　者：Valentin Goranko ;Antti Kuusisto ;Raine R{\"o}nnholm

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:14:1-14:19.doi:10.4230/LIPIcs.TIME.2017.14

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

文章 ID：202422007

文章详细全文下载

4.Model Checking and Validity in Propositional and Modal Inclusion Logics

作　　者：Lauri Hella ;Antti Kuusisto ;Arne Meier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:32:1-32:14.doi:10.4230/LIPIcs.MFCS.2017.32

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

文章 ID：205509990

文章详细全文下载

5.One-Dimensional Logic over Trees

作　　者：Emanuel Kieronski ;Antti Kuusisto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:64:1-64:13.doi:10.4230/LIPIcs.MFCS.2017.64

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

文章 ID：205510116

文章详细全文下载

6.Undecidable First-Order Theories of Affine Geometries

作　　者：Antti Kuusisto ;Jeremy Meyers ;Jonni Virtema

出　　处：Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:26)2013

出版社：Technical University of Braunschweig

文章 ID：264692185

文章详细全文下载

7.Undecidable First-Order Theories of Affine Geometries

作　　者：Antti Kuusisto ;Jeremy Meyers ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:470-484.doi:10.4230/LIPIcs.CSL.2012.470

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

文章 ID：186846178

文章详细全文下载

8.Modal Logic and Distributed Message Passing Automata

作　　者：Antti Kuusisto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:452-468.doi:10.4230/LIPIcs.CSL.2013.452

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

文章 ID：186846354

文章详细全文下载

9.Uniform One-Dimensional Fragments with One Equivalence Relation

作　　者：Emanuel Kier{\'o}nski ;Antti Kuusisto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:597-615.doi:10.4230/LIPIcs.CSL.2015.597

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

文章 ID：186847072

文章详细全文下载

10.Decidability of Predicate Logics with Team Semantics

作　　者：Juha Kontinen ;Antti Kuusisto ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:60:1-60:14.doi:10.4230/LIPIcs.MFCS.2016.60

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

文章 ID：186847887

文章详细全文下载

	计算技术、计算机技术	9篇
	文物考古	1篇

	英文	9篇
	(多语种)	1篇

	德国	9篇
	意大利	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Antti Kuusisto")))) )) ) )"

	Antti Kuusisto	10篇
	Jonni Virtema	4篇
	Jeremy Meyers	2篇
	Arne Meier	1篇
	Carsten Lutz	1篇

	Cristina Feier	1篇
	Emanuel Kieronski	1篇
	Emanuel Kier{\'o}nski	1篇
	Juha Kontinen	1篇
	Juha Tuppi	1篇
	Lauri Hella	1篇
	Raine R{\"o}nnholm	1篇
	Valentin Goranko	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Fasti Online Documents & Research (FOLD&R )	1篇
	Logical Methods in Computer Science	1篇