Rolf Wiehagen
发表
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1984,
Math. Log. Q..
Rolf Wiehagen,
Sanjay Jain,
Efim B. Kinber,
2000,
J. Comput. Syst. Sci..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1988,
Math. Log. Q..
Carl H. Smith,
Rolf Wiehagen,
Rolf Wiehagen,
1992,
COLT '92.
Carl H. Smith,
Rolf Wiehagen,
Sanjay Jain,
1998,
COLT' 98.
Rusins Freivalds,
Ognian Botuscharov,
Rolf Wiehagen,
2004,
Annals of Mathematics and Artificial Intelligence.
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1995,
GOSLER Final Report.
Rolf Wiehagen,
1975,
MFCS.
Rolf Wiehagen,
1992,
ALT.
Rolf Wiehagen,
Rolf Wiehagen,
1977,
MFCS.
John Case,
Rolf Wiehagen,
Sanjay Jain,
2004,
J. Comput. Syst. Sci..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1991,
Nonmonotonic and Inductive Logic.
John Case,
Rolf Wiehagen,
Frank Stephan,
2008,
Inf. Comput..
Rolf Wiehagen,
1994
.
Rolf Wiehagen,
Thomas Zeugmann,
Steffen Lange,
1996,
ALT.
Carl H. Smith,
Rolf Wiehagen,
Efim B. Kinber,
1999,
COLT '99.
Carl H. Smith,
Rolf Wiehagen,
Sanjay Jain,
2003,
Inf. Comput..
Rolf Wiehagen,
1985,
Mathematical Methods of Specification and Synthesis of Software Systems.
Carl H. Smith,
Rolf Wiehagen,
Thomas Zeugmann,
1997,
Int. J. Found. Comput. Sci..
Rolf Wiehagen,
Thomas Zeugmann,
Michael M. Richter,
1998,
ALT.
Rolf Wiehagen,
Sanjay Jain,
Efim B. Kinber,
2004,
Inf. Comput..
Rolf Wiehagen,
Rolf Wiehagen,
1986,
AII.
Rolf Wiehagen,
Sanjay Jain,
Thomas Zeugmann,
2001,
ALT.
Rolf Wiehagen,
Rolf Wiehagen,
1986,
J. Inf. Process. Cybern..
Rolf Wiehagen,
Hermann Jung,
1977,
J. Inf. Process. Cybern..
Rolf Wiehagen,
Walter Liepe,
Rolf Wiehagen,
1976,
J. Inf. Process. Cybern..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1982,
Math. Log. Q..
John Case,
Rolf Wiehagen,
Sanjay Jain,
2001,
COLT/EuroCOLT.
Rolf Wiehagen,
Thomas Zeugmann,
Rolf Wiehagen,
1995,
GOSLER Final Report.
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1989,
J. Inf. Process. Cybern..
Rolf Wiehagen,
Rolf Wiehagen,
1978,
ICALP.
Rolf Wiehagen,
Steffen Lange,
Rolf Wiehagen,
1990,
ALT.
Rolf Wiehagen,
Sanjay Jain,
Efim B. Kinber,
1996,
ALT.
Carl H. Smith,
Rolf Wiehagen,
Thomas Zeugmann,
1995,
GOSLER Final Report.
Rolf Wiehagen,
Sanjay Jain,
Thomas Zeugmann,
2003,
Theor. Comput. Sci..
Carl H. Smith,
Rusins Freivalds,
Rolf Wiehagen,
1997,
LFCS.
Rolf Wiehagen,
Sanjay Jain,
Thomas Zeugmann,
2000,
Theor. Comput. Sci..
Rolf Wiehagen,
Thomas Zeugmann,
Carl Smith,
1994
.
Rolf Wiehagen,
R. V. Freivald,
1979,
J. Inf. Process. Cybern..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1995,
Inf. Comput..
Rolf Wiehagen,
1990,
Nonmonotonic and Inductive Logic.
Carl H. Smith,
Rolf Wiehagen,
Efim B. Kinber,
1995,
J. Comput. Syst. Sci..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1989,
AII.
Rolf Wiehagen,
Sanjay Jain,
Efim B. Kinber,
2003,
COLT.
Rolf Wiehagen,
Thomas Zeugmann,
Rolf Wiehagen,
1994,
J. Exp. Theor. Artif. Intell..
Rolf Wiehagen,
Steffen Lange,
2009,
New Generation Computing.
Rolf Wiehagen,
2009,
New Generation Computing.
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1993,
Theor. Comput. Sci..
Carl H. Smith,
Rolf Wiehagen,
Sanjay Jain,
2001,
J. Comput. Syst. Sci..
Rolf Wiehagen,
Jochen Nessel,
Steffen Lange,
2004,
Annals of Mathematics and Artificial Intelligence.
Rolf Wiehagen,
1975,
J. Inf. Process. Cybern..
Carl H. Smith,
Marek Karpinski,
Rusins Freivalds,
2002,
Inf. Comput..
Carl H. Smith,
Rolf Wiehagen,
Efim B. Kinber,
1993,
COLT '93.
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1995,
GOSLER Final Report.
Rolf Wiehagen,
1975,
J. Inf. Process. Cybern..
Rusins Freivalds,
Rolf Wiehagen,
Efim B. Kinber,
1984,
Theor. Comput. Sci..
Rolf Wiehagen,
Reinhard Klette,
Rolf Wiehagen,
1980,
Inf. Sci..
Carl H. Smith,
Rolf Wiehagen,
1995,
J. Exp. Theor. Artif. Intell..
Rolf Wiehagen,
Thomas Zeugmann,
1992,
AII.
Stuart A. Kurtz,
Carl H. Smith,
Rolf Wiehagen,
2001,
J. Exp. Theor. Artif. Intell..
Rolf Wiehagen,
Jochen Nessel,
Steffen Lange,
1994,
AII/ALT.
Rolf Wiehagen,
Thomas Zeugmann,
Rolf Wiehagen,
1992
.