MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleType
Show details for --
Show details for AAAIAAAI
Show details for AAAI Press [http://www.aaai.org/Press/press.html]AAAI Press [http://www.aaai.org/Press/press.html]
Show details for AAAI Press/ MIT PressAAAI Press/ MIT Press
Show details for AAAI [http://www.aaai.org/Press/press.html]AAAI [http://www.aaai.org/Press/press.html]
Show details for AAAI [http://www.aaai.org/]AAAI [http://www.aaai.org/]
Show details for Academic Conferences LimitedAcademic Conferences Limited
Show details for Academic PressAcademic Press
Show details for Academic Press [http://www.academicpress.com/]Academic Press [http://www.academicpress.com/]
Show details for Academic Press [http://www.apnet.com/]Academic Press [http://www.apnet.com/]
Show details for Academic Press [http://www.elsevier.com]Academic Press [http://www.elsevier.com]
Hide details for ACMACM
Show details for Antoy, SergioAntoy, Sergio
Show details for Basin, David A.Basin, David A.
Hide details for Ben-Amram, Amir M.Ben-Amram, Amir M.
2007Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37		Journal Article
Show details for Beyer, DirkBeyer, Dirk
Show details for Billington, JonathanBillington, Jonathan
Show details for Cook, ByronCook, Byron
Show details for Echahed, RachidEchahed, Rachid
Show details for Freiheit, JörnFreiheit, Jörn
Show details for Ganzinger, HaraldGanzinger, Harald
Show details for Gotsman, AlexeyGotsman, Alexey
Show details for Hanus, MichaelHanus, Michael
Show details for Henzinger, ThomasHenzinger, Thomas
Show details for Lee, Chin SoonLee, Chin Soon
Show details for Lilith, NimrodLilith, Nimrod
Show details for Majumdar, RupakMajumdar, Rupak
Show details for Podelski, AndreasPodelski, Andreas
Show details for Ratschan, StefanRatschan, Stefan

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)