MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 2. All Years - 8. Journal Short Titles

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
Journal Full Title / ISSNYearAuthor/EditorTitle
Show details for TECSTECS
Show details for Theor. Comput. Sci.Theor. Comput. Sci.
Hide details for TOPLASTOPLAS
ACM Transactions on Programming Languages and Systems
0164-0925
2007Ben-Amram, Amir M.
Lee, Chin Soon
Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37
ACM Transactions on Programming Languages and Systems
-
2007Podelski, Andreas
Rybalchenko, Andrey
Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30
Show details for (Not Categorized)(Not Categorized)

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