Alan J. Martin
According to our database1,
Alan J. Martin
authored at least 2 papers
between 2007 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
2011
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011
2007
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007