Lars Noschinski
发表
Lars Noschinski,
Lars Noschinski,
2009,
Encyclopedia of Database Systems.
Lars Noschinski,
2015,
Arch. Formal Proofs.
Jürgen Giesl,
Fabian Emmes,
Lars Noschinski,
2011,
CADE.
Tobias Nipkow,
Lars Hupel,
Dmitriy Traytel,
2014,
Haskell '14.
Simon Wimmer,
Lars Noschinski,
2013,
Arch. Formal Proofs.
Lars Noschinski,
Lars Noschinski,
2015,
Math. Comput. Sci..
Jürgen Giesl,
Fabian Emmes,
Lars Noschinski,
2013,
Journal of Automated Reasoning.
Lars Noschinski,
Lars Noschinski,
2012,
ITP.
Lars Noschinski,
2016
.
Kurt Mehlhorn,
Lars Noschinski,
Christine Rizkallah,
2014,
NASA Formal Methods.
Lars Noschinski,
Lars Noschinski,
2012,
Arch. Formal Proofs.
Simon Wimmer,
Lars Noschinski,
2013,
Arch. Formal Proofs.
Lars Noschinski,
Christoph Traut,
2021,
ArXiv.
Lars Noschinski,
Lars Noschinski,
2013
.
Lars Noschinski,
Lars Noschinski,
2010
.