Robert F. Stärk
发表
Robert F. Stärk,
R. Stärk,
1990,
CSL.
Egon Börger,
Robert F. Stärk,
2003,
FMCO.
Egon Börger,
Robert F. Stärk,
2003
.
Robert F. Stärk,
Gerhard Jäger,
R. Stärk,
1998
.
Robert F. Stärk,
1997,
LFCS.
Robert F. Stärk,
R. Stärk,
1996,
ELP.
Egon Börger,
Robert F. Stärk,
2003
.
Robert F. Stärk,
1995,
LPNMR.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
Jürg Kohlas,
J. Kohlas,
2007,
Logica Universalis.
Robert F. Stärk,
Reinhard Kahle,
Peter Schroeder-Heister,
2001,
Lecture Notes in Computer Science.
Robert F. Stärk,
R. Stärk,
1991,
J. Log. Comput..
Robert F. Stärk,
Joachim Schmid,
2000
.
Robert F. Stärk,
2005,
Annals of Mathematics and Artificial Intelligence.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
2005,
Theor. Comput. Sci..
Robert F. Stärk,
R. Stärk,
1998,
J. Log. Program..
Robert F. Stärk,
1996
.
Robert F. Stärk,
Joachim Schmid,
2000
.
Robert F. Stärk,
1995,
Arch. Math. Log..
Egon Börger,
Robert F. Stärk,
2003
.
Robert F. Stärk,
Nicu G. Fruja,
R. Stärk,
2003,
Abstract State Machines.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
Jonathan D. Pfautz,
Michael Farry,
2012,
2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support.
Robert F. Stärk,
1999,
J. Log. Comput..
Robert F. Stärk,
Egon Börger,
2003
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
Stanislas Nanchen,
R. Stärk,
2005,
Theor. Comput. Sci..
Robert F. Stärk,
Reinhard Kahle,
Peter Schroeder-Heister,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
1994,
Int. J. Found. Comput. Sci..
Robert F. Stärk,
Stanislas Nanchen,
R. Stärk,
2004,
Abstract State Machines.
Robert F. Stärk,
R. Stärk,
1998,
Journal of Functional Programming.
Robert F. Stärk,
Stanislas Nanchen,
2003
.
Robert F. Stärk,
Michael Farry,
Arthur Wollocko,
2012,
IEEE VAST.
Robert F. Stärk,
R. Stärk,
1996,
CSL.
Egon Börger,
Robert F. Stärk,
R. Stärk,
2003
.
Robert F. Stärk,
R. Stärk,
1994,
J. Log. Comput..
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
2004,
Abstract State Machines.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2003
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
Stanislas Nanchen,
R. Stärk,
2001,
J. Univers. Comput. Sci..
Egon Börger,
Robert F. Stärk,
Vincenzo Gervasi,
2005,
Theor. Comput. Sci..
Teodor C. Przymusinski,
Robert F. Stärk,
Vladimir Lifschitz,
1995,
LPNMR.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
Nicu G. Fruja,
2003
.
Robert F. Stärk,
1989,
CSL.
Robert F. Stärk,
Gerhard Jäger,
1993,
J. Log. Program..
Egon Börger,
Robert F. Stärk,
2003
.
Robert F. Stärk,
1989,
CSL.
Robert F. Stärk,
Reinhard Kahle,
Peter Schroeder-Heister,
2001
.
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Egon Börger,
Robert F. Stärk,
R. Stärk,
2003
.
Robert F. Stärk,
R. Stärk,
2005,
Ann. Pure Appl. Log..
Egon Börger,
Robert F. Stärk,
Joachim Schmid,
2001
.
Robert F. Stärk,
R. Stärk,
1994,
LICS.
Robert F. Stärk,
Stanislas Nanchen,
2001,
CSL.
Robert F. Stärk,
1992,
CSL.
Robert F. Stärk,
Reinhard Kahle,
Peter Schröder-Heister,
2021
.
Peter H. Schmitt,
Robert F. Stärk,
Stanislas Nanchen,
2004
.