Tyler Gibson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park: The Inverse Method for the Logic of Bunched Implications. LPAR 2004: 466-480

	2004
1		Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park: The Inverse Method for the Logic of Bunched Implications. LPAR 2004: 466-480

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Kevin Donnelly	[1]
2	Neelakantan R. Krishnaswami (Neel Krishnaswami)	[1]
3	Stephen Magill	[1]
4	Sungwoo Park	[1]