Katrin Seyr

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 Georg Gottlob, Etienne Grandjean, Katrin Seyr: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Springer 1999

1999
1		Georg Gottlob, Etienne Grandjean, Katrin Seyr: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Springer 1999

Coauthor Index

1 Georg Gottlob [1]

2 Etienne Grandjean [1]