Inssi

Helecon

Tenttu

search query: @keyword stabiilien mallien semantiikka / total: 5

references: 1-5 / 5

« previous page | next page »

	title	year	author
1.	Modular Answer Set Programming	2006	Oikarinen, Emilia
2.	Solving Boolean Equation Systems	2005	Keinänen, Misa
3.	Logic Programming with Cardinality Constraints	2003	Syrjänen, Tommi
4.	Testing the Equivalence of Disjunctive Logic Programs	2003	Oikarinen, Emilia
5.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo

« previous page | next page »

INSSI