dblp.uni-trier.dewww.uni-trier.de

Samuli Heilala

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EESamuli 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-Francois Preville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability. CCCG 2007: 229-232
2006
1EEAnil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-Francois Preville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability CoRR abs/cs/0609127: (2006)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)