An Isabelle/HOL-based model of stratego-like traversal strategies

article

An Isabelle/HOL-based model of stratego-like traversal strategies is …
instance of (P31):
scholarly articleQ13442814

External links are
P8978DBLP publication IDconf/ppdp/KaiserL09
P356DOI10.1145/1599410.1599423

P50authorRalf LämmelQ28009024
P2093author name stringMarkus Kaiser
P577publication date2009-01-01
P1476titleAn Isabelle/HOL-based model of stratego-like traversal strategies

Search more.