Samuli Heilala

	2007
3		Samuli Heilala, Brigitte Pientka: Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4. CADE 2007: 116-131
2		Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-François Préville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability. CCCG 2007: 229-232
	2006
1		Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-François Préville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability CoRR abs/cs/0609127: (2006)

Coauthor Index

1	Anil Ada	[1] [2]
2	Melanie Coggan	[1] [2]
3	Alain Doyon	[1] [2]
4	Liam Flookes	[1] [2]
5	Ethan Kim	[1] [2]
6	Paul Di Marco	[1] [2]
7	Brigitte Pientka	[3]
8	Louis-François Préville-Ratelle	[1] [2]
9	Sue Whitesides	[1] [2]
10	Jonathan Li On Wing	[1] [2]
11	Nuo Yu	[1] [2]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page