No. Title Author Year
1 Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control (Invited Paper) Yang, Junxing et al. 2016
2 Two-Restricted One Context Unification is in Polynomial Time Gascˇn, AdriÓ et al. 2015
3 LIPIcs, Volume 15, RTA'12, Complete Volume Tiwari, Ashish 2013
4 RTA 2012 Proceedings Frontmatter Tiwari, Ashish 2012
5 Rewriting in Practice Tiwari, Ashish 2011
6 Deductive Verification of Continuous Dynamical Systems Taly, Ankur et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint Published by LZI