Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword computational complexity / total: 6

references: 1-6 / 6

« previous page | next page »

	title	year	author
1.	Weak models of wireless distributed computing Comparison between radio networks and population protocols	2016	Tong Alvarez, Marcos
2.	Computing pure-strategy punishments in repeated games	2015	Kärki, Markus
3.	Testing the Equivalence of Disjunctive Logic Programs	2003	Oikarinen, Emilia
4.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
5.	Investigations on Cautious Autoepistemic Reasoning	1994	Janhunen, Tomi
6.	Automating Autoepistemic Reasoning	1989	Niemelä, Ilkka

« previous page | next page »

INSSI