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

James Worthington

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

2009
3EEJames Worthington: A Bialgebraic Approach to Automata and Formal Language Theory. LFCS 2009: 451-467
2008
2EEJames Worthington: Automatic Proof Generation in Kleene Algebra. RelMiCS 2008: 382-396
2002
1EEJoseph Loeffler, John Meier, James Worthington: Graph Products and Cannon Pairs. IJAC 12(6): 747-754 (2002)

Coauthor Index

1Joseph Loeffler [1]
2John Meier [1]

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