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

Werner Ebinger

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

1996
2EEWerner Ebinger, Anca Muscholl: Logical Definability on Infinite Traces. Theor. Comput. Sci. 154(1): 67-84 (1996)
1993
1 Werner Ebinger, Anca Muscholl: Logical Definability on Infinite Traces. ICALP 1993: 335-346

Coauthor Index

1Anca Muscholl [1] [2]

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