scholarly article | Q13442814 |
P8978 | DBLP publication ID | conf/ppdp/KaiserL09 |
P356 | DOI | 10.1145/1599410.1599423 |
P50 | author | Ralf Lämmel | Q28009024 |
P2093 | author name string | Markus Kaiser | |
P577 | publication date | 2009-01-01 | |
P1476 | title | An Isabelle/HOL-based model of stratego-like traversal strategies |
Search more.