MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2021

1. Author,Editor - 2. by Group - MPI-INF/SWS Research Reports 1991-2021

#YearTitle
1
Show details for Theobalt, Li, Magnor, SeidelTheobalt, Li, Magnor, Seidel
1
Show details for ThorupThorup
1
Show details for Tompkin, Kim, Kautz, TheobaltTompkin, Kim, Kautz, Theobalt
2
Show details for TönneTönne
1
Show details for Träff, ZaroliagisTräff, Zaroliagis
1
Show details for Tzakova, BlackburnTzakova, Blackburn
1
Show details for VeanesVeanes
1
Show details for Vingron, Lenhof, MutzelVingron, Lenhof, Mutzel
9
Hide details for VorobyovVorobyov
1999New lower bounds for the expressiveness and the higher-order Matching problem in the simply typed lambda calculus
1998AE-Equational theory of context unification is Co-RE-Hard
1998Satisfiability of Functional+Record Subtype Constraints is NP-Hard
1998The most nonelementary theory (a direct lower bound proof)
1998The undecidability of the first-order theories of one step rewriting in linear canonical systems
1997Third-order matching in $\lambda\rightarrow$-Curry is undecidable
1996On the decision complexity of the bounded theories of trees
1995Proof normalization and subject reduction in extensions of Fsub
1994Structural decidable extensions of bounded quantification
1
Show details for Vorobyov, VoronkovVorobyov, Voronkov
1
Show details for WagnerWagner
2
Show details for WaldmannWaldmann
1
Show details for WangWang
1
Show details for Wang, Belyaev, Saleem, SeidelWang, Belyaev, Saleem, Seidel
3
Show details for WeidenbachWeidenbach
1
Show details for WertzWertz
1
Show details for Wies, Kuncak, Zee, Podelski, RinardWies, Kuncak, Zee, Podelski, Rinard
1
Show details for Wischnewski, WeidenbachWischnewski, Weidenbach
1
Show details for WuWu
1
Show details for ZakariaZakaria
1
Show details for Zayer, Roessl, SeidelZayer, Roessl, Seidel
1
Show details for Zayer, Rössl, SeidelZayer, Rössl, Seidel
2
Show details for ZelikovskyZelikovsky
1
Show details for Ziegler, Tevs, Theobalt, SeidelZiegler, Tevs, Theobalt, Seidel
600