Katrin Seyr

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]