M. Hanus
发表
Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey, MIT Press, 1998.
Michael Hanus,
M. Hanus,
2001,
Journal of Functional Programming.
M. Hanus,
H. Kuchen,
J. Moreno-Navarro,
1995
.
Germán Vidal,
Elvira Albert,
Michael Hanus,
2001,
FLOPS.
M. Hanus,
H. Kuchen,
S. Antoy,
2003
.
Germán Vidal,
Elvira Albert,
Michael Hanus,
2002,
WRS.
M. Hanus,
2019
.
M. Hanus,
1994
.
M. Hanus,
2007,
ArXiv.
Michael Hanus,
Johannes Koj,
M. Hanus,
2001,
WLPE.
Ramin Sadre,
Michael Hanus,
Sergio Antoy,
2000
.
M. Hanus,
W. Hasselbring,
Sven Efftinge,
2012,
GPCE.
Michael Hanus,
M. Hanus,
2003
.
J. Lloyd,
F. Pfenning,
M. Hanus,
1997
.
J. Lloyd,
F. Pfenning,
M. Hanus,
1996
.
M. Hanus,
C. Prehofer,
1996,
J. Funct. Program..
Ramin Sadre,
Michael Hanus,
M. Hanus,
1999,
J. Funct. Log. Program..
M. Hanus,
A. Pretschner,
R. Sadre,
2007
.
M. Hanus,
2010
.
M. Hanus,
2007
.
M. Hanus,
H. Kuchen,
1995
.
M. Hanus,
2004
.
Michael Hanus,
M. Hanus,
2009,
LOPSTR.
M. Hanus,
2022,
Theory and Practice of Logic Programming.
M. Hanus,
2004
.
M. Hanus,
Frank Hu,
2007
.
M. Hanus,
K. Höppner,
2002
.
M. Hanus,
S. Antoy,
2002
.
John Darlington,
Dale Miller,
Tetsuo Ida,
2000
.
M. Hanus,
Kai-Oliver Prott,
Finn Teegen,
2022,
PPDP.
M. Hanus,
S. Antoy,
R. Echahed,
2000,
JACM.
E. Albert,
M. Hanus,
2010
.
E. Albert,
M. Hanus,
A. Alpuente,
2007
.
M. Hanus,
Berthold Josephs,
2022
.
M. Hanus,
2022
.
M. Hanus,
2022
.
Michael Hanus,
M. Hanus,
2017,
LOPSTR.
María Alpuente,
Germán Vidal,
Elvira Albert,
1999
.
Michael Hanus,
M. Hanus,
1993,
ILPS.
Michael Hanus,
M. Hanus,
2014,
Computing Handbook, 3rd ed..
M. Hanus,
S. Antoy,
2016
.
M. Hanus,
S. Antoy,
Sunita Marathe,
2008
.
Michael Hanus,
M. Hanus,
1992,
JICSLP.
M. Hanus,
M. Hagiya,
J. Jaffar,
2000
.
Michael Hanus,
Frank Huch,
Klaus Höppner,
2003,
WFLP.
Michael Hanus,
Klaus Höppner,
M. Hanus,
2002,
WFLP.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2018,
FLOPS.
Michael Hanus,
M. Hanus,
1990,
ALP.
Michael Hanus,
Salvador Abreu,
Dietmar Seipel,
2017,
Lecture Notes in Computer Science.
Michael Hanus,
Hassan Aït-Kaci,
Juan José Moreno Navarro,
1994
.
E. Albert,
M. Hanus,
G. Vidal,
2007
.
Germán Vidal,
Elvira Albert,
Michael Hanus,
2002,
WFLP.
Salvador Lucas,
Michael Hanus,
M. Hanus,
1996,
APPIA-GULP-PRODE.
Michael Hanus,
M. Hanus,
1988,
PLILP.
Michael Hanus,
Sergio Antoy,
Steven Libby,
2017,
WLP / WFLP.
Michael Hanus,
M. Hanus,
2008
.
Michael Hanus,
M. Hanus,
2013,
Programming Logics.
Michael Hanus,
M. Hanus,
2007,
ICLP.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2000,
FroCoS.
Salvador Lucas,
Michael Hanus,
M. Hanus,
1999,
Fuji International Symposium on Functional and Logic Programming.
Michael Hanus,
Frank Zartmann,
M. Hanus,
1994,
SAS.
Michael Hanus,
M. Hanus,
1994,
CC.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2002,
FLOPS.
Michael Hanus,
M. Hanus,
1995,
J. Log. Program..
Michael Hanus,
M. Hanus,
1993,
ICLP.
Michael Hanus,
M. Hanus,
1992,
WSA.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2011,
WFLP.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2004,
J. Funct. Program..
Michael Hanus,
M. Hanus,
2006,
WLP.
Michael Hanus,
M. Hanus,
2004,
J. Funct. Log. Program..
Michael Hanus,
Bernd Brassel,
Frank Huch,
2004,
J. Funct. Log. Program..
Michael Hanus,
Frank Huch,
M. Hanus,
2003
.
Michael Hanus,
M. Hanus,
1994,
J. Log. Program..
Michael Hanus,
M. Hanus,
1994
.
Michael Hanus,
M. Hanus,
2007,
ArXiv.
Michael Hanus,
M. Hanus,
2005,
WCFLP '05.
Michael Hanus,
M. Hanus,
2001,
WRS.
Salvador Lucas,
María Alpuente,
Germán Vidal,
1999,
ICFP '99.
Michael Hanus,
M. Hanus,
1997,
PLILP.
Christian Prehofer,
Michael Hanus,
M. Hanus,
1999,
Journal of Functional Programming.
Michael Hanus,
M. Hanus,
1997,
POPL '97.
Michael Hanus,
German Vidal,
Maria Alpuente,
2004,
Theory and Practice of Logic Programming.
Germán Vidal,
Elvira Albert,
Michael Hanus,
2000,
LPAR.
Germán Vidal,
Elvira Albert,
Michael Hanus,
2002,
J. Funct. Log. Program..
Germán Vidal,
Elvira Albert,
Michael Hanus,
2000,
WFLP.
Elvira Albert,
Michael Hanus,
E. Albert,
2000
.
Michael Hanus,
Finn Teegen,
Jonas Böhm,
2021,
PPDP.
Michael Hanus,
Sergio Antoy,
Finn Teegen,
2018,
WFLP.
Michael Hanus,
Bernd Brassel,
Björn Peemöller,
2011,
WFLP.
Steffen Mazanek,
Michael Hanus,
M. Hanus,
2011,
J. Vis. Lang. Comput..
Sebastian Fischer,
Michael Hanus,
Bernd Brassel,
2010,
WFLP.
Michael Hanus,
Frank Steiner,
M. Hanus,
1998,
PLILP/ALP.
Michael Hanus,
M. Hanus,
1996,
CSUR.
Herbert Kuchen,
Michael Hanus,
M. Hanus,
1996,
CSUR.
Rachid Echahed,
Michael Hanus,
Sergio Antoy,
2000,
JACM.
Pierre Réty,
Michael Hanus,
M. Hanus,
2005
.
Michael Hanus,
M. Hanus,
1997,
SIGP.
María Alpuente,
Germán Vidal,
Elvira Albert,
1999,
LPAR.
Michael Hanus,
M. Hanus,
1995,
ILPS.
Michael Hanus,
Julia Krone,
M. Hanus,
2017,
WLP / WFLP.
Michael Hanus,
Sven Koschnicke,
M. Hanus,
2010,
Theory and Practice of Logic Programming.
Michael Hanus,
Bernd Brassel,
Marion Müller,
2008,
PADL.
Michael Hanus,
Bernd Brassel,
Marion Müller,
2007,
ArXiv.
M. Hanus,
2021
.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2009,
PPDP '09.
Michael Hanus,
M. Hanus,
2008,
PPDP '08.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2006,
ICLP.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2005,
LOPSTR.
Michael Hanus,
Sergio Antoy,
Bernd Brassel,
2003,
PPDP '03.
Michael Hanus,
M. Hanus,
2013,
Theory Pract. Log. Program..
Michael Hanus,
M. Hanus,
2008
.
Salvador Lucas,
Michael Hanus,
M. Hanus,
2001,
J. Funct. Log. Program..
Wilhelm Hasselbring,
Michael Hanus,
Robert von Massow,
2012,
GPCE '12.
Michael Hanus,
M. Hanus,
2016,
LOPSTR.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2012,
PADL.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2010
.
Michael Hanus,
M. Hanus,
2019,
PADL.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2017,
PADL.
Michael Hanus,
M. Hanus,
1997,
Comput. Lang..
Michael Hanus,
M. Hanus,
1995,
LOPSTR.
Michael Hanus,
M. Hanus,
1994,
PLILP.
Michael Hanus,
M. Hanus,
1994,
ESOP.
Michael Hanus,
Berthold Josephs,
M. Hanus,
1993,
PLILP.
Michael Hanus,
M. Hanus,
1992,
PLILP.
Michael Hanus,
M. Hanus,
1991,
PDK.
Michael Hanus,
M. Hanus,
1990,
PLILP.
Michael Hanus,
M. Hanus,
1990,
DISCO.
M. Hanus,
2022
.
Rachid Echahed,
Michael Hanus,
Sergio Antoy,
1997,
ICLP.
Michael Hanus,
M. Hanus,
1996
.
Michael Hanus,
Sergio Antoy,
Rachid Echahed,
1996
.
Michael Hanus,
M. Hanus,
1995,
ICLP.
M. Hanus,
F. O R M A T,
1994
.
Michael Hanus,
M. Hanus,
1993,
WLP.
Michael Hanus,
Finn Teegen,
M. Hanus,
2020,
WFLP.
Michael Hanus,
Finn Teegen,
M. Hanus,
2019,
DECLARE.
Michael Hanus,
M. Hanus,
2018,
PPDP.
Michael Hanus,
M. Hanus,
2017,
LOPSTR.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2017,
Formal Aspects of Computing.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2016,
Theory and Practice of Logic Programming.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2015,
LOPSTR.
Michael Hanus,
M. Hanus,
2015,
PADL.
Michael Hanus,
Fabian Skrlac,
M. Hanus,
2014,
PEPM '14.
Michael Hanus,
Daniel Seidel,
Jan Christiansen,
2013,
PPDP.
Michael Hanus,
Fabian Reck,
M. Hanus,
2013,
ArXiv.
Michael Hanus,
Bernd Brassel,
Björn Peemöller,
2011,
PADL.
Michael Hanus,
M. Hanus,
2010,
WFLP.
Michael Hanus,
Christof Kluß,
M. Hanus,
2009,
PADL.
Michael Hanus,
M. Hanus,
2007,
PPDP '07.
Michael Hanus,
M. Hanus,
2007,
WFLP.
Michael Hanus,
Bernd Brassel,
M. Hanus,
2005,
ICLP.
Michael Hanus,
Sergio Antoy,
Andrew P. Tolmach,
2004,
IFL.
Germán Vidal,
Michael Hanus,
Bernd Brassel,
2004,
LOPSTR.
Michael Hanus,
Olaf Chitil,
Bernd Brassel,
2004,
PADL.
Michael Hanus,
M. Hanus,
2001,
PADL.
Michael Hanus,
Frank Steiner,
M. Hanus,
2000,
PPDP '00.
Michael Hanus,
Björn Peemöller,
Jan Rasmus Tikovsky,
2014,
Software Engineering.
Michael Hanus,
Björn Peemöller,
M. Hanus,
2014,
WLP/WFLP.
Michael Hanus,
Sergio Antoy,
M. Hanus,
2014,
WLP/WFLP.
Michael Hanus,
M. Hanus,
2014,
WLP/WFLP.
Michael Hanus,
Björn Peemöller,
Fabian Reck,
2012,
Software Engineering.
Michael Hanus,
M. Hanus,
2011,
ICLP.
Michael Hanus,
M. Hanus,
2010
.
Michael Hanus,
M. Hanus,
2006
.
Michael Hanus,
Sergio Antoy,
Andrew Tolmach,
2003
.
Michael Hanus,
M. Hanus,
2002
.
M. Hanus,
F. Steiner,
Mi hael Hanus,
2001
.
M. Hanus,
2022
.
M. Hanus,
S. Antoy,
2000,
FroCoS.
Michael Hanus,
M. Hanus,
1999,
PPDP.
Michael Hanus,
M. Hanus,
2000,
PADL.
M. Hanus,
Salvador Lucas,
A. Middeldorp,
1998,
Inf. Process. Lett..
Michael Hanus,
M. Hanus,
1995,
New Generation Computing.
M. Hanus,
1993,
ICLP.